真值表的构成与约定

设A为一命题公式，对其中出现的命题变元做所有可能的每一组真值指派S，连同公式A相应S(A)的取值汇列成表，称为A的真值表。

一个真值表由两部分构成。

（1）表的左半部分列出公式的每一种解释。

（2）表的右半部分给出相应每种解释公式得到的真值。

为构造的真值表方便和一致，有如下约定。

（1）命题变元按字典序排列。

（2）对公式的每种解释，以二进制数从小到大或者从大到小顺序排列。

（3）若公式复杂，可先列出各子公式的真值（若有括号从里层向外展开），最后列出所给公式的真值。