...R(主析取范式) 2.(PQ) R(主合取范式)
用真值表，很容易得出結(jié)果
或者等價公式也可以
先求主合取范式：
（P→Q）? R=(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))=((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)=
(P∨R)∧(﹁Q∨R)∧(﹁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)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R)
同理可以求得主析取范式，過程類似上面很簡單，就是重復(fù)工作而已，我就不寫了。
沙逄15596255146： 求兩平面P和Q的交線,可以采用如下方法:求P平面中的一條直線與Q平...
大方縣升程： ______ 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) 分配律2?(?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨(?Q∧Q)∨R...
沙逄15596255146： 請問主合取范式與主析取范式為什么是互補的? -
大方縣升程： ______ 它們的定義,決定了二者之間有這樣的聯(lián)系. 1. 定義:設(shè)由n個命題變項構(gòu)成的析取范式(合取范式)中所有的簡單合取式(簡單析取式)都是極小項(極大項),則稱該析取范式(合取范式)為主析取范式(主合取范式); 2. 注意的是:主合取范式和主析取范式與原公式等值.根據(jù)定義可以體會一個例子:對于重言式,那么主析取范式是m0~m7,主合取范式是1;對于矛盾式,那么主析取范式為0,主合取范式為M0~M7. 也就是說主合取范式與主析取范式彼此之間有互補的聯(lián)系.
沙逄15596255146： 求下列公式的主范式. 1.(P→Q)? R(主析取范式) 2.(P→Q)? R(主合取范式) -
大方縣升程： ______ 用真值表,很容易得出結(jié)果 或者等價公式也可以 先求主合取范式: (P→Q)? R<=>(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))<=>((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)<=> (P∨R)∧(﹁Q∨R)∧(﹁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)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R) 同理可以求得主析取范式,過程類似上面很簡單,就是重復(fù)工作而已,我就不寫了.
沙逄15596255146： 用等值演算法證明: (p→q)∧(p→r)? (p→(q∧r)) (得分點:必須使用等...
大方縣升程： ______[答案] P→[P∧(q→P)]=[P∧(q→P)]∨!P=(P∧(P∨!q))∨!P=(p∨!P)∧(P∨!q∨!P)=true [(p→r)∨q]∧(q→r)=((r∨!p)∨q)∧(r∨!q)=(r∨!q)∧(!p∨r∨!q)∧(q∨r∨!q) =r∨!q !means not
沙逄15596255146： 用等值演算求下面公式的主析取范式 (﹁p→Q)→(﹁Q V P) -
大方縣升程： ______[答案] P Q (┓P→Q) (┓QVP) (┓P→Q) →(┓QVP) 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 所以,主析取范式為(┓P∧┓Q)V(P∧┓Q)V(P∧Q)
或者等價公式也可以
先求主合取范式：
（P→Q）? R=(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))=((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)=
(P∨R)∧(﹁Q∨R)∧(﹁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)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R)
同理可以求得主析取范式，過程類似上面很簡單，就是重復(fù)工作而已，我就不寫了。
相關(guān)評說：
大方縣升程： ______ 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) 分配律2?(?P∨Q∨?R)∧(?P∨Q∨R)∧(?P∨(?Q∧Q)∨R...
大方縣升程： ______ 它們的定義,決定了二者之間有這樣的聯(lián)系. 1. 定義:設(shè)由n個命題變項構(gòu)成的析取范式(合取范式)中所有的簡單合取式(簡單析取式)都是極小項(極大項),則稱該析取范式(合取范式)為主析取范式(主合取范式); 2. 注意的是:主合取范式和主析取范式與原公式等值.根據(jù)定義可以體會一個例子:對于重言式,那么主析取范式是m0~m7,主合取范式是1;對于矛盾式,那么主析取范式為0,主合取范式為M0~M7. 也就是說主合取范式與主析取范式彼此之間有互補的聯(lián)系.
大方縣升程： ______ 用真值表,很容易得出結(jié)果 或者等價公式也可以 先求主合取范式: (P→Q)? R<=>(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))<=>((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)<=> (P∨R)∧(﹁Q∨R)∧(﹁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)∧(P∨﹁Q∨R)∧(﹁P∨﹁Q∨R)∧(﹁P∨Q∨﹁R) 同理可以求得主析取范式,過程類似上面很簡單,就是重復(fù)工作而已,我就不寫了.
大方縣升程： ______[答案] P→[P∧(q→P)]=[P∧(q→P)]∨!P=(P∧(P∨!q))∨!P=(p∨!P)∧(P∨!q∨!P)=true [(p→r)∨q]∧(q→r)=((r∨!p)∨q)∧(r∨!q)=(r∨!q)∧(!p∨r∨!q)∧(q∨r∨!q) =r∨!q !means not
大方縣升程： ______[答案] P Q (┓P→Q) (┓QVP) (┓P→Q) →(┓QVP) 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 1 所以,主析取范式為(┓P∧┓Q)V(P∧┓Q)V(P∧Q)
