black

离散数学

登录

问答题

简答题

用消解原理证明下述公式是矛盾式:
(ㄱp∨q)∧(ㄱp∨r)∧(ㄱq∨ㄱr)∧(p∨ㄱr)∧r。

【参考答案】

相关考题

问答题 如图是一颗有7个结点的树,这里用黑白两色对T的结点着色,如果交换T的某个左子树与右子树以后,一种着色方案变成另一种着色方案,则认为这两张方案是同样的方案,问不同的着色方案有多少种。

问答题 给出下面每一对C1,C2的消解结果: C1:p∨q∨r,C2:p∨r∨s。

问答题 用3种颜色涂色3×3的方格棋盘,每个方格一个颜色,如果允许棋盘任意旋转或翻转,问有多少种不同的涂色方案。

All Rights Reserved 版权所有©建筑考试题库(jzkao.com)

备案号:湘ICP备2020024380号-3