离散数学怎么求主析取范式合取范式

来源：蜘蛛抓取(WebSpider) 时间：2018-03-15 11:34 标签： 离散数学怎么求主析取范式

输入命题公式的合式公式求出公式的真值表，并输出该公式的主合取范式和主析取范式

公式的主析取范式和主合取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” 极小项和 ∨ 符号之間有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开“ ; ”前后各有一个空格。 永真式的主合取范式为 1 永假式的主析取范式为 0 。

! 非相当于书面符号中的 “ ? ”
& 与，相当于书面符号中的 “ ∧ ”
| 或相当于书面符号中的 “ ∨ ”

  • 蕴含联结詞，相当于书面符号中的 “ → ”
  • 等价联结词相当于书面符号中的 “ ? ”

我要回帖

更多关于 离散数学怎么求主析取范式 的文章

 

随机推荐