2020年10月12日
离散数学实验——求命题公式的真值表
摘要： 一.实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 二.实验目的 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判 阅读全文
posted @ 2020-10-12 23:22 edl李曉宇 阅读(5627) 评论(3) 推荐(1) 编辑