离散数学实验报告三——真值表与主范式

离散数学实验报告三——真值表与主范式 一、预习内容： 1、真值表：把变量的各种可能取值与想对应的函数值，用表格的形式一一列举出来，这种表格就叫做真值表 2、命题公式的析（合）取范式 ⑴文字：命题变元及其否定统称为文字 ⑵简单析取式：仅有限个文字组成的析取式 ⑶简单合取式：仅有限个文字组成的合取式 3、从定义可得 ⑴一个简单析取式是重言式当且仅当它同时含有某个命题变元及其否定式。 ⑵一个简单合取式是

>>阅读原文<<