离散数学一个简单题目

2023-02-13 19:16

用符号“∪,∩,～”分别表示“或,且,非”～（p<->q）<=>((p∪q)∩～(p∩q))怎么证明..

2023-02-14 00:00

证明～(p<->q)<=>～(（p→q）∩（q→p）)
<=>～((～p∪q)∩(～q∪p))
<=>～(～p∪q)∪～(～q∪p))
<=>(p∩～q)∪(q∩～p)
<=>(p∪q)∩(p∩～p)∩(～q∩q)∩(～q∩～p)
<=>(p∪q)∩(～q∩～p)
<=>(p∪q)∩～(p∩q)