点击下载:《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
正在加载图片...
例1:证明(P∧_P)Q=Q 证明:画出(P∧P)∨Q与Q的真值表可看出 等式是成立的。 PQP∧PP∧P)∨Q FFTT FTFT FTFT 图21.1例1: 证明(P∧P)∨Q = Q 证明: 画出(P∧P)∨Q与Q的真值表可看出 等式是成立的
<<向上翻页
向下翻页>>
点击下载:《离散数学》课程PPT教学课件讲稿(数理逻辑)第二章 命题逻辑的等值和推理演算
©2008-现在 cucdc.com 高等教育资讯网 版权所有