【离散数学】浅析小项与主析取范式和大项与主合取范式
生活随笔
收集整理的這篇文章主要介紹了
【离散数学】浅析小项与主析取范式和大项与主合取范式
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
析取范式以 ∨ \vee ∨連接的合取式組成;合取范式以 ∧ \wedge ∧連接的析取式組成。
小項要求n個命題變元的合取式中,每個變元出現且只出現一次。
總結
以上是生活随笔為你收集整理的【离散数学】浅析小项与主析取范式和大项与主合取范式的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 【Python】处理 joblib.ex
- 下一篇: 【算法分析与设计】实验 分治算法解决中位