一、基本的等值公式(命题定律) 　　虽然用真值表法可以判断任何两个命题公式是否等值，但当命题变项较多时，工作量是很大的。所以我们先用真值表验证一组基本的又是重要的等值式，以它们为基础进行公式之间的演算，来判断公式之间是否等值。 　　1.双重否定律 　　2.结合律 　　3.交换律 　　4.分配律 　　5.等幂律(恒等律) 　　6.吸收律 　　7.摩根律 　　8.同一律 　　9.零律 　　10.补余律 　　以上10组等值式共包含了38个重要等值式。由于P，Q，R可以代表任意的公式，因而以上各等值式都是用元语言符号书写的称这样的等值式为等值式模式，每个等值式模式都给出了无穷多个同类型的具体的等值式。例如，在摩根律(P∨Q) =P∧Q中，取P = A，Q = B时，得等值式 　　 　　　　　　　(A∨B) = A∧B 　　当取P = A∨B∨C，Q = A∧B时，得等值式 　　(( A∨B∨C)∨(A∧B)) = ( A∨B∨C)∧(A∧B) 　　还可以构造出其它具体的等值式。这些具体的等值式被称为原来的等值式模式的代入实例。每个具体的代入实例的正确性都可以用真值表证明之，而每个等值式模式可用归纳法证明之。 　　这些以+·表示的等式, 在实数域里明显地不成立, 这就提醒我们, 与、或的逻辑运算同数的＋，·运算是有区别的。 　　对这些等式使用自然用语加以说明，将有助于理解。如P表示张三是学生, Q表示李四是工人, 那么(P∨Q)就表示并非"张三是学生或者李四是工人"。这相当于说，"张三不是学生而且李四也不是工人"，即可由P∧Q表示, 从而有(P∨Q) = P∧Q。