1、真值表:把变量的各种可能取值与想对应的函数值,用表格的形式一一列举出来,这种表格就叫做真值表 2、命题公式的析(合)取范式 (1)文字:命题变元及其否定统称为文字 (2)简单析取式:仅有限个文字组成的析取式 (3)简单合取式:仅有限个文字组成的合取式