等值式注意：注意区分台与台，台不是联结符（运算符），是说明公式等值的一种表示方法两个公式通过等价运算后依然是命题公式，等值关系只能将公式转换成与之等价的另一个公式A或B可以是任何命题公式，公式中还可能有哑元出现例如（p→)台（（-pVg)V（-rΛn)，其中r为左边公式的哑元用真值表可检查两个公式是否等值3
判断下列各组公式是否等值表1:(q→r)与(pq)→rpqrq→rp→(q→n)pΛq(pΛq)→r110100011010010011010110101111011000111101000111011111114
判断下列各组公式是否等值表1:p→(q→r)与(p9)→rpqrq-→rp→(q→)paq(p^q)→r11010001101001001101011010111101100110110100011101111111结论：p→(q→r)(pq)→r4
判断下列各组公式是否等值表2:p→(9r)与(p→9)rpqrqa→rp→(q→n)p→q1(p→q)→r111000011110010001011111101111011000111101000111011111115
判断下列各组公式是否等值表2:p→(q-→r)与(p→q)rpqrq→→q→)0-9(p-→q)→rp11100001110011000101111110111101100110110100011101111111结论：p→(→)与(p→q)→r不等值5