1.命题公式(P∧Q)的成真指派是( )
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/01 03:49:47
![1.命题公式(P∧Q)的成真指派是( )](/uploads/image/f/46985-41-5.jpg?t=1.%E5%91%BD%E9%A2%98%E5%85%AC%E5%BC%8F%28P%E2%88%A7Q%29%E7%9A%84%E6%88%90%E7%9C%9F%E6%8C%87%E6%B4%BE%E6%98%AF%28+%29)
p是假命题
用≡代替<=>.用∟表示“否定”((p∨q)→r)→p≡∟((p∨q)→r)∨p≡∟(∟(p∨q)∨r)∨p≡((p∨q)∧∟r)∨p≡(p∧∟r)∨(q∧∟r)∨p≡(p∧q∧∟r)∨(p∧∟q∧∟
(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁
先算主析取范式:(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式不明白本题问的是什么?是将(P∧┐Q)∨(┐P∧Q)转换成┐(P----Q)形式吗?根据逻辑函数的反演律(P∧┐Q)∨(┐P∧Q)=┐(
别再在网上搜答案了你还是自己看书好好做吧
qpr¬pqÙ¬p(qÙ¬p)®r111001110001101111100110011001010001001101000101真值表显示(q∧┑p)→r是矛盾式
AP→Q等值于¬PvQ,再用德摩根律,得P^¬Q,这是组成析取范式的一个简单合取式
V:或^:且┐:非
因为q是假所以非q是真则p^非q为真再问:再问:那么这题为什么答案是13,麻烦分析一下再答:∵当x=45°时,tanx=1故命题p为真命题;又△=1-4<0故命题q为真命题;¬q为假命题,故
由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个成假赋值000,011,100,101,110.成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为Am1∨m2∨
2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的
主析取:m1vm3vm5vm6vm7主合取:M0^M2^M4可以用真值表法或是等值演算法.
右边:(R∧(P→Q))→S⇔┐(R∧(┐P∨Q))∨S⇔(┐R∨P∧┐Q)∨S⇔(┐R∨S)∨(┐Q∧P)左边:((Q∧R)→S)∧(R→(P∨S)⇔
符号没有搞明白,那是析取吗?如果是析取的话,合取范式就是它自身
(p→q)∧(q→p)(非p∨q)∧(非q∨p)蕴涵等值式(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p)分配律(非p∧非q)∨(p∧q)矛盾律同一律交换律非(p∨q)∨(p∧q)德摩根律(p∨
解法一:G=┐(P→Q)∨(Q∧(┐P→R))=┐(┐P∨Q)∨(Q∧(P∨R))=(P∧┐Q)∨((Q∧P)∨(Q∧R))=(P∧┐Q)∨(Q∧P)∨(Q∧R)=((P∧┐Q)∧(┐R∨R))∨((
((P∧Q)∨(『P∧『Q)∧P)=(P∧Q)∨((P∧Q)∧P=P((P∧Q)∨(P∧Q)恒为真)