永真公式

它在所有解释之下其真值都是真

利用 真值表 确定永真公式

例题 证明公式 $G=H$ 其中 $G=\neg (P\wedge Q),H=\neg P\vee \neg Q$

解 利用真值表：

P	Q	G	H
0	0	1	1
0	1	1	1
1	0	1	1
1	1	0	0
可得 G 和 H 的真值在任何解释下相同，即 $G\leftrightarrow H$ 为真，即 $G=H$