1.真值表算法2012
实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式。
输入:命题公式的合式公式
输出:公式的主析取范式和主析取范式,输出形式为:“ mi ∨ mj ; Mi ∧ Mj” ,极小项和 ∨ 符号之间有一个空格,极大项和 ∧ 符号之间有一个空格;主析取范式和主合取范式之间用“ ; ”隔开,“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ,永假式的主析取范式为 0 。
输入公式的符号说明:
! 非,相当于书面符号中的 “ ? ”
& 与,相当于书面符号中的 “ ∧ ”
| 或,相当于书面符号中的 “ ∨ ”
- 蕴含联结词,相当于书面符号中的 “ → ”
+ 等价联结词,相当于书面符号中的 “ ? ”
( 前括号
) 后括号
2.消解算法2012
输入:合式公式 A 的合取范式
输出:当 A 是可满足时,回答 “YES ” ;否则回答 “NO” 。
符号说明:
! 非,相当于书面符号中的 “ ? ”
& 与,相当于书面符号中的 “ ∧ ”
| 或,相当于书面符号中的 “ ∨ ”
- 蕴含联结词,相当于书面符号中的 “→”
+ 等价联结词,相当于书面符号中的 “ ? ”
( 前括号
) 后括号
拜托各位了
离散数学消解算法C语言编程题
现在是200分了,你看看能做不?
嘛意思?
呵呵,是的