(12)--1.5 真值表离散数学离散数学.pptVIP

  • 8
  • 0
  • 约小于1千字
  • 约 12页
  • 2024-02-28 发布于陕西
  • 举报

真值表;真值表:将命题公式在所有个体变项的取值下的真值列成表,就是命题公式的真值表。

如:蕴含联结词的真值表:;2.构造真值表的步骤(以包含n个命题变项的命题公式A为例):;?r?r?p(?r?p)?q;?rp?q?r?(p?q);

pqp?q?p?p?q

00

01

10

11;求下列命题的真值表;?q;p?(p?q);(3)?(p?q)?q;(1)验证两个命题公式是否等值

(2)判断命题公式的类型

(3)求命题公式的成真赋值与成假赋值

(4)求命题公式的主范式

文档评论(0)

1亿VIP精品文档

相关文档