基本复合命题真值表

永真式与永假式

永真式

  一个真值永远为真的复合命题，称为永真式(tautology)，或重言式。 

永假式

  一个真值永远为假的复合命题，称为矛盾式(contradiction)，或永假式。 

可能式

  既不是永真式也不是矛盾式的复合命题，称为可能式(contingency)。 

等值公式

逻辑等价式

名称	等价式
恒等律
恒等律
支配律
支配律
幂等律
幂等律
双重否定律
结合律
结合律
交换律
交换律
分配律
分配律
摩根律
摩根律
吸收律
吸收律
否定律
否定律