q∧∨范式 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) m4∧m5∧m7 (主合取范式) m0∨m1∨m2∨m3∨m6 (主析取范式) 由此可得成假赋值为100,101,111,成真赋值为000,001,010,011,110.
求命题的主析取范式和主合取范式 (1)p∧q∧┐q (2)(┐p→q)→(┐q∨p.可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q) 成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式是M4,那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7
求命题公式(P∧Q)∨R的主析取范式和主合取范式p→(q∧r) ⇔¬p∨(q∧r) 变成 合取析取 ⇔(¬p∨q)∧(¬p∨r) 分配律 ⇔(¬p∨q∨(¬r∧r))∧(¬p∨(¬q∧q)∨r) 补项 ⇔((¬p∨q∨¬r)∧(¬p∨q∨r))∧(¬p∨(¬q∧q)∨r) 分.
关于离散数学 求如下公式的主析取范式和主合取 范式 (p∧q)∨(p∧r)求主范式的过程如下:(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∧(.
求(P∨Q)→(P∧Q)的合取范式和析取范式答:p q r p∧q ┐p∧r (p∧q)∨(┐p∧r)0 0 0 0 0 00 0 1 0 1 10 1 0 0 0 00 1 1 0 1 11 0 0 0 0 01 0 1 0 0 01 1 0 1 0 11 1 1 1 0 1 原公式的主析取范式:(┐p∧┐q∧r)v(┐p∧q∧r)v(p∧q∧┐r)v(p∧q∧r) 主合取范式:(┐pvqv┐r)∧(┐pvqvr)∧(pv┐qvr)∧(pvqvr) 帮我 一步一步划一下 我自己做了一下 但是不太确定 感谢大神
求(P∧(P→Q))∨Q的主合取范式主合取范式为(P∨Q)∧(非P∨Q) (P∧(P→Q))∨Q=(P∧(非P∨Q))∨Q=(P∨Q)∧((非P∨Q))∨Q)=(P∨Q)∧(非P∨Q)
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 求步骤.步骤如下:1. (¬P∨Q)∧(P→R)2. ⇔(¬P∨Q)∧(¬P∨R) 变成 合取析取3. ⇔(¬P∨Q∨(¬R∧R))∧(¬P∨(¬Q∧Q)∨R) 补项4. ⇔((¬P∨Q∨¬R)∧(¬P∨Q∨R))∧(¬P∨(.
乛((P∧Q)∨P∨R)→R的主合取范式和主析取范式怎么求?P Q R PVQ RVQ (P∨Q)→(R∨Q)0 0 0 0 0 10 0 1 0 1 10 1 0 1 1 10 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 没弄对其,应该能看懂吧~ 然后主析取范式为(-.
求主范式: (p→R)∧(P∨Q)∧(Q→┐ R)主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r <==>(p∧q∧(r.
求(p∧q)∨(p∧r)主析取范式先补项,然后使用分配率(p∧q)∨r ⇔(p∧q∧(¬r∨r))∨((¬p∨p)∧(¬q∨q)∧r) 补项 ⇔((p∧q∧¬r)∨(p∧q∧r))∨((¬p∨p)∧(¬q∨q)∧r) 分配律 ⇔(p∧q∧¬r)∨(p∧q.