离散数学格的证明证明：在格中（a∧b）∨（b∧c）∨（c∧a）≤（a∨b）∧（b∨c）∧（c∨a）成立。

点击联系发帖人 时间：2017-06-14 11:31

离散数学格的证明

离散数学格的证明数理逻辑的一個题目
某电路中有一个灯泡和三个开关A,B,C.已知在且仅在下述四种情况下灯亮：
（1）C的扳键向上,A,B的扳键向下.
（2）A的扳键向上,B,C的扳键向下.
（3）B,C的扳键向上,A的扳键向下.
（4）A,B的扳键向上,C的扳键向下.
设F为1表示灯亮,p,q,r分别表示A,B,C的扳键向上.
（a）求F的主析取范式.
（b）在联结词完备集{┐,∧}上构造F.
（c）在联结词完备集{┐,→, }上构造F.

}

设A B C D代表任意集合,判断以下命题是否恒真.

对不起 由于找不到属于符号 就用＜这个代替了

命题是恒真显然因为A-D是空集。命题是恒真若A-B=B-A，则

题目：设A B C D代表任意集合,判断以下命题是否恒真
其中＜应该是包含符号。
答：1.和2.都是恒真命题
2.题zhh2360大师已正确解出，我解答1.题

}

杰西卡呢吗信息网

离散数学格的证明证明：在格中（a∧b）∨（b∧c）∨（c∧a）≤（a∨b）∧（b∨c）∧（c∨a）成立。

我要回帖

更多关于离散数学格的证明的文章

更多推荐

杰西卡呢吗信息网

离散数学格的证明证明：在格中（a∧b）∨（b∧c）∨（c∧a）≤（a∨b）∧（b∨c）∧（c∨a）成立。

我要回帖

更多关于 离散数学格的证明 的文章

更多推荐

更多关于离散数学格的证明的文章