全国手表维修
严选优质第三方维修点 专业服务有保障极速服务
价格透明
先报价再维修,修好付费
服务保障
专业技师,标准服务流程
如何用真值表证明摩根定理?
v
B)
=
~A
^
~B,则可构造真值表如下:
A
B
(A
v
B)
~(A
v
B)
~A
~B
~A
^
~B
0
0
0
1
1
1
1
0
1
1
0
1
0
0
1
0
1
0
0
1
0
1
1
1
0
0
0
0
可见,在A和B的所有可能取值下,~(A
v
B)与~A
^
~B的值都相同,故要证明的式子成立。
对于
~(A
^
B)
=
~A
v
~B
的情形可以同样的方法证明。