tzkr.net
当前位置:首页 >> 【离散数学】这个题的真值表要怎样画? >>

【离散数学】这个题的真值表要怎样画?

这个东西一般不画真值表的,如果画的话,比如求主合取范式那里,需要把5个括号内的部分画到真值表最后2-6列,最后一列应该是合取完之后,8个值里有5个为1,3个为0.

:-(:-):o3

首先要知道命题公式中有几个命题变项,比如n个.其次,找出成假赋值,换算成n位十进制数i,以此作为下标的极大项Mi的合取即为所求的主合取范式.例如:命题公式p∨q→r,成假赋值是010,100,110,所以主合取范式是M2∧M4∧M6

使用真值表的方法计算主析取范式和主合取范式,具体步骤:http://jingyan.baidu.com/article/1612d5005ed288e20f1eee6e.html

q r q→r ┐(q→r) ┐(q→r)∧r0 0 1 0 00 1 1 0 01 0 0 1 01 1 1 0 0 公式是矛盾式

(p∨(q∧r))→(p∨q∨r) (p∧(q∧r))∨(p∨q∨r) (p∧(q∨r))∨(p∨q∨r) (q∨r)∨p∨q∨r true(p→q)→(q∧r) (p∨q)→(q∧r) (p∧q)∨(q∧r) 两者显然不一样,不等价

填1,这是根据实质蕴涵的真值性质来算的,与它的真值表中p=0,q=1这一行对应.

#include <stdio.h> int main() { char p[10],q[10]; char pandq,porq; puts("输入P,Q的值(T或者F)"); scanf("%s%s",p,q); if(p[0]=='T'&&q[0]=='T')pandq='T'; else pandq='F'; if(p[0]=='F'&&q[0]=='F')porq='F'; else porq='T'; printf("PVQ=%c P∧Q

求主范式的过程如下: (p∧q)∨(p∧r) (p∧q∧(r∨r))∨(p∧(q∨q)∧r) 补项 ((p∧q∧r)∨(p∧q∧r))∨(p∧(q∨q)∧r) 分配律2 (p∧q∧r)∨(p∧q∧r)∨(p∧(q∨q)∧r) 结合律 (p∧q∧r)∨(p∧q∧r)∨((p∧q∧r)∨(p∧q∧r))

列出命题公式真假值的表. 通常以1表示真,0 表示假. 命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定, 命题联结词的真值表给出了真假值的算法

网站首页 | 网站地图
All rights reserved Powered by www.tzkr.net
copyright ©right 2010-2021。
内容来自网络,如有侵犯请联系客服。zhit325@qq.com