用java输出真值表离散数学_离散数学 第一章 命题逻辑 1-4真值表与等价公式

定义1-4。1在命题公式中，对于分量指派真值的各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。

现举例说明如下：

例题1 构造┓p∨q的真值表。

解

表1-4.1

p q ┓p ┓p∨q

t t f t

t f f f

f t t t

f f t t

例题2 给出(p∧q)∧┓p的真值表。

解

表1-4.2

p q p∧q ┓p (p∧q)∧┓p

t t t f f

t f f f f

f t f t f

f f f t f

例题3 给出(p∧q)∨(┓p∧┓q)的真值表。

解

表1-4.3

p q ┓p ┓q p∧q ┓p∧┓q (p∧q)∨(┓p∧┓q)

t t f f t f t

t f f t f f f

f t t f f f f

f f t t f t t

例题4给出┓(p∧q)«(┓p∨┓q)的真值表。

解

表1-4.4

p q p∧q ┓(p∧q) ┓p ┓q ┓p∨┓q ┓(p∧q)«(┓p∨┓q)

t t t f f f f t

t f f t f t t t

f t f t t f t t

f f f t t t t t

由表1-4.4(表1-4.2)可以看出，有一类公式不论命题变元作何种指派，其真值永为真(假)，我们把这类公式记为t(f)。

在真值表中，命题公式真值的取值数目，决定