1樓：哥末忒
僅由有限個命題變項或其否定構成的析取式稱為簡單析取式。
(1)一個簡單析取式是重言式，當且僅當它同時含一個命題變項及其否定；
(2)一個簡單合取式是矛盾式，當且僅當它同時含一個命題變項及其否定。
由有限個簡單合取式構成的析取式稱為析取正規化
如（p∧q）∨（p∧┓p∧┓r）
由有限個簡單析取式構成的合取式稱為合取正規化。 如 r∧(p∨q) ∧( p∨q∨┓r)
析取正規化和合取正規化統稱為正規化
極小項為只由邏輯與和補運算子組成的 n 個變數的邏輯表示式
例如，下列是極小項的例子:
a b'c
a' b c
n 個變數有 2n 個極小項 - 這是因為在極小項表示式中一個變數要麼是自身要麼是它的補的形式 - n 個變數每個都有兩種選擇
極大項是極小項想法的對偶。不再使用 and 和補運算，我們轉而使用 or 和補運算，處理是類似的。
例如，下面是極大項的例子:
a+b'+c
a'+b+c
n 個變數也有 2n 個極大項 - 這是因為在極大項表示式中一個變數要麼是自身要麼是它的補的形式 - n 個變數每個都有兩種選擇。
2樓：
好好自己做作業，一點都不乖
簡單的離散數學問題，離散數學幾條簡單問題
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個元素集合的雙射個數...
離散數學這倆為什麼不是合式公式,離散數學裡為什麼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...