PAGE

PAGE1

上机实验指导及参考源程序

徐凤生

第1章命题逻辑

第1章命题逻辑

1.实验内容

（1）求任意一个命题公式的真值表。

（2）利用真值表求任意一个命题公式的主范式。

（3）利用真值表进行逻辑推理。

注：（2）和（3）可在（1）的基础上完成。

2.实验目的

真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。

本实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目