1樓：小樂笑了
求主正規化的過程如下：
(p∧62616964757a686964616fe78988e69d8331333337626230q)∨(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)) 分配律2
⇔(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∧q)∨(¬r∧r))∧((¬p∧p)∨q∨r) 補項
⇔((p∨¬q∨(¬r∧r))∧(p∨q∨(¬r∧r)))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨(¬r∧r))∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 結合律
⇔((p∨¬q∨¬r)∧(p∨¬q∨r))∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨(¬r∧r))∧((¬p∧p)∨q∨r) 結合律
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧((p∨q∨¬r)∧(p∨q∨r))∧((¬p∧p)∨q∨r) 分配律2
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧((¬p∧p)∨q∨r) 結合律
⇔(p∨¬q∨¬r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)∧((¬p∨q∨r)∧(p∨q∨r)) 分配律2
⇔(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)∧(p∨q∨r) 等冪律
得到主合取正規化
2樓：匿名使用者
bai (p∧
q)∨(p∧r)
<==> (p∧duq∧(r∨zhi┐daor))∨(p∧(q∨┐q)∧r)
<==> (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)
<==> (p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)<==> m7∨m6∨m5 （主析取正規化）
<==> m4∧m3∧m2∧m1∧m0 （主合取正規化）
離散數學：求p→(q∧┐r)的主合取正規化、主析取正規化、成真賦值成假賦值以及判斷命題公式型別。
3樓：
命題公bai式是蘊涵式，成du假賦值只有一種情況zhi，是p真q∧┐r 假時，daoq∧┐r 假有三種回情況，答q,r都真或都假，或q假r真，所以命題公式的成假賦值是111,101,100，對應的十進位制數是7,5,4，所以主合取正規化是m4∧m5∧m7。
成真賦值是000,001,010,011,110，主析取正規化是m0∨m1∨m2∨m3∨m6。
命題公式是可滿足式。
4樓：匿名使用者
通過等值運抄算
<==> m4∧m5∧m7 (主合取正規化)
<==> m0∨m1∨m2∨m3∨m6 (主析取正規化)
由此可得成假賦值為100，101,111，成真賦值為000,001,010,011,110。
離散數學這倆為什麼不是合式公式,離散數學裡為什麼prq不是合式公式
命題來公式是由命題常項 命題變項 聯自結詞 括號等組成的符號串,但不是由這些符號任意組成的符號串都是命 題公式。因此,必須給出命題公式的嚴格定義。定義1.6編輯 1 單個命題常項或變項是合式公式 2 如果a是合式公式,則 a也是合式公式 3 如果a,b是合式公式,則p q p q p q p q也是...
關於離散數學的題，請人幫忙解答，關於離散數學的一個題，請人幫忙解答！
用排斥原理解復 決瘋簡單。設參加足球比制 賽的人為bai集合a 設參加籃球的比du賽的人為集 zhi合b 設參加排球dao的比賽的人為集合c 則有 由於交併不好打，用減代表交，用加代表並 a 28，b 29，c 26，a b 7，b c 9，a c 11 有加法排斥原理知 a b c a b c a...
簡單的離散數學問題，離散數學幾條簡單問題
1.s上的有序對有 1,1 1,2 2,1 2,2 4個 偏序關係需要滿足自反，反對稱，傳遞 即 1,1 2,2 都屬於偏序集，1,2 2,1 不能同時屬於偏序集 所以一共有2 2 1 3個偏序關係 因為s上有序對有4個，所以二元關係有2 4 16個2 4個元素集合的滿射，即是4個元素集合的雙射個數...