利用真值表技術求某公式的主析取正規化和主合取正規化（一般是大題）
1.先列出真值表（真值表中不需要列出極大項和極小項）
2.根據真值表中的公式等於1對應的情況寫出極小項，構造主析取正規化
3.根據剩餘極小項，進行取反獲得主合取正規化
先列真值表
再求主析取正規化
再根據主析取正規化求主合取正規化
求某公式的主析取正規化和主合取正規化（選擇填空題）
如果是要同時求主析取正規化和主合取正規化，先看公式容不容易化簡，否則用真值表技術
如果只是求主析取正規化和主合取正規化中的乙個，可以嘗試用分析法，直接去分析什麼情況下公式等於0或什麼情況下公式等於1，一般取正規化不會太長，所以只用做乙個極大項或極小項的排除，即簡化真值表操作
幾大元的定義
消去元：存在乙個元素a∈a對於任意的x,y∈a，都有a*x=a*y，即可以消去a，a稱為消去元
冪等元：若元素a∈a，且滿足a*a=a，則a稱為a關於「*」的冪等元
么元（單位元）：對於任意a∈a，存在e∈a，使得a*e=e*a=a，則稱e為么元（單位元）
零元：對於任意a∈a，存在b∈a，使得a*b=b*a=b,則稱b為零元
逆元：e是么元，a∈a，存在b∈a，使得a*b=b*a=e，則稱a是b的逆元（可倒置）
么元對應1
零元對應0
逆元對應倒數
代數系統定義
代數系統：集合和定義在集合上的n元封閉運算稱為代數系統
廣群：二元運算不加限制的一般代數系統
半群：若代數系統中的二元運算滿足結合律，則稱為半群
迴圈半群：存在a∈a，對任意x∈s，有x=a^n,則稱此代數系統為迴圈半群
生成元：迴圈半群中的a，稱為迴圈半群的乙個生成元
群：二元運算滿足結合律，存在么元，每個元素都有逆元，這樣的二元代數系統稱為群
離散數學複習
先畫出關係圖 關係圖每乙個連通分支的節點構成的集合是乙個等價類 注意 每個連通分支必須是對稱的。對於這個關係圖，有三個連通分支 且都是對稱的，所以等價類有三個 注意 題目中的 i 集合表示的是，某個集合a的每個元素自己跟自己的關係 比如 a ia 極大元 極小元 上確界 下確界 上界 下界都表示的是...
離散數學複習筆記 1
量詞轄域的確定方法 1.若量詞後有括號，則括號內的子公式就是量詞的轄域 2.若量詞後沒有括號，則與量詞鄰接的子公式就是該量詞的轄域 約束變元的改名規則 1.將量詞中出現的變元以及該量詞轄域中此變數所有約束出現都用新的個體變元替換 2.新的變元一定要有別於改名轄域中的所有其他變數 自由變元的代入規則 ...
離散數學 筆記
1.復合命題的真值只取決於各原子命題的真值，而與它們的內容 含義無關，與原子命題之間是否有關係無關。2.命題公式 1 重言式 2 矛盾式 3 可滿足式 1.重言式 給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為真，則稱該命題為重言式或永真式 2.給定一命題公式，若無論對分量作怎樣的指派，...