用符號“∪,∩,”分別表示“或,且,非” (pq)((p∪q)∩~(p∩q)) 怎麼證明..

用符號“∪,∩,”分別表示“或,且,非” (pq)((p∪q)∩~(p∩q)) 怎麼證明..


證明~(pq)~((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)



A組有3個人,B組有2個人,則A到B的二元關係有個
解題思路麻煩也寫一下


2*2*2=8



((PVQ)蘊含R)蘊含P,求析取範式,
一樓,第二個等於號後面的式子是怎麼轉化到第三個等於號後的式子的?這個我一直看不懂.


用符號“∪,∩,”分別表示“析取,合取,非”聯結詞,析取範式不是惟一的,主析取範式是惟一的.((P∪Q)→R)→P=((P∪Q)→R)→P=~(P∪Q)∪R)∪P=(P∪Q)∩~R)∪P=((P∩~R)∪(Q∩~R))∪P(析取範式)=(Q∩~R))∪P(也是…