┐(p→q)∧q∧r 转化为主析取范式

求解，怎么算，不是主合取范式，是要主析取范式

举报该问题

第1个回答 2015-10-07

p→q等价于（p合取q）析取（非p合取q）析取（p合取q）
这是主析取范式 ⊙﹏⊙b汗这貌似是答案不是证明证明我也不会了...
有效性你可以用真值表检验一下本回答被提问者采纳

第2个回答 2018-03-14

主析取范式为0，无成真赋值

第3个回答 2017-02-28

p且非Q且Q且R

相似回答

...公式(P→(Q∧R))∧(┐P→(┐Q∧┐R))的主析取范式和主合取范式._百 ...答：⇔(¬P∨(Q∧R))∧(P∨(¬Q∧¬R)) 变成合取析取 ⇔((¬P∨Q)∧(¬P∨R))∧(P∨(¬Q∧¬R)) 分配律 ⇔(¬P∨Q)∧(¬P∨R)∧(P∨(¬Q∧¬R)) 结合律 ⇔(¬P∨Q)∧(¬P...

求大神解决这题离散题,其主合取范式,主析取范式是什么???答：主合取为o，吸取为1。

(P→Q)∧R的主析取范式、主合取范式是什么啊答：＜＝＞((┐P∧R)∧(Q∨┐Q))∨((Q∧R)∧(p∨┐p))＜＝＞(┐P∧Q∧R)∨(┐P∧┐Q∧R)∨(P∧Q∧R)∨(┐P∧Q∧R)＜＝＞(┐P∧┐Q∧R)∨(┐P∧Q∧R)∨ (P∧Q∧R)（主析取范式）＜＝＞∑(1,3,5)（主析取范式)根据范式主析取范式可以直接得出主合取范式为 ∏(0,2,4...

离散数学,命题逻辑,第5题的第二小题答：<==> (p∨q)∧(q∧r)<==> (p∧(q∧r))∨(q∧(q∧r))<==> (p∧q∧r)∨(q∧r)<==> (p∧q∧r)∨((p∨┐p)∧q∧r)<==> (p∧q∧r)∨(p∧q∧r)∨(┐p∧q∧r)<==> (p∧q∧r)∨(┐p∧q∧r)<==> m7∨m3 这就是主析取范式，成真赋值为 111 与 011。

离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...答：命题公式是蕴涵式，成假赋值只有一种情况，是p真q∧┐r 假时，q∧┐r 假有三种情况，q,r都真或都假，或q假r真，所以命题公式的成假赋值是111,101,100，对应的十进制数是7,5,4，所以主合取范式是M4∧M5∧M7。成真赋值是000,001,010,011,110，主析取范式是m0∨m1∨m2∨m3∨m6。命题公式...

求主析取和主合取范式。答：=┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧R = （类似于E的符号）m0, m1 =（类似于E的符号）（0,1）下面的主合取范式正好是主析取范式的互补情况所以两个范式只要算出一个另一个不用算就可以知道故主合取范式为 （┐P∧┐Q)∧（┐R∨┐Q）= P∨ ┐Q∨R ∧ P∨ ┐Q∨ ...

(在线等)离散数学将这个式子化成主范式并判断真假～答：∨(┐p∧┐q∧r)<==> m7∨m6∨m1 (主析取范式)<==> M5∧M4∧M3∧M2∧M0 (主合取范式)可知该命题公式是非重言的可满足式。其中，111, 110, 001 是成真赋值，101, 100, 011, 010, 000 是成假赋值。

离散数学教科书上的一道题,化主析取范式,请问第一个等号是怎么来的...答：要写好几步 (p→q)<->r <=>((┐p∨q)→r)∧(r→(┐p∨q))<=>(┐(┐p∨q)∨r)∧(┐r∨(┐p∨q))<=>((p∧┐q)∨r)∧(┐p∨q∨┐r)<=>((p∧r)∨(┐q∧r))∧(┐p∨q∨┐r)

大家正在搜

p合取q析取r的主析取范式 p析取q合取r主和取式 p析取q析取r p蕴涵q蕴涵r的主析取 p与非q或q与非r或非p或r p则q合取q则r p q r p∧q―r真值表 p蕴涵q蕴涵r与哪个式子等值

(p→q)∧q∧r的主析取范式主合取范式成真赋值成假赋值

﹁(p→q)∧q∧r的主析取主合取范式,以及成真成假赋值

(﹁p→q)∧(q∧r) 求主析取范式

求命题公式非(p→q)∧q∧r的主析取范式

通过求主析取范式求主合取范式(p→q)∧(q→r)，

离散数学P∨(Q∧R)→P∧Q∧R的主析取范式、主合取范式、...

求一离散数学解答过程及答案设命题公式G=┐（P→Q）∨（Q...

P∨(Q∧R)→(P∧Q∧R )的主析取范式和主合取范式