The symbols "∪, ∩" are used to indicate "or, and, not" respectively (pq)((p∪q)∩~(p∩q)) How to prove

The symbols "∪, ∩" are used to indicate "or, and, not" respectively (pq)((p∪q)∩~(p∩q)) How to prove


Prove ~ (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)



If there are three people in group A and two people in group B, there is a binary relationship between a and B
Problem solving ideas trouble also write


2*2*2=8



((PVQ) implies R) implies P, finding disjunctive normal form,
On the first floor, how does the formula after the second equal sign transform into the formula after the third equal sign? I can't understand this all the time


The disjunctive normal form is not unique, but the main disjunctive normal form is unique. ((P ∪ q) → R) → P = ((P ∪ q) → R) → P = ~ (P ∪ q) ∪ R) ∪ P = (P ∪ q) ∩ R) ∪ P = ((P ∩ R) ∪ (Q ∩ R)) ∪ P (disjunctive normal form) = (Q ∩ R)) ∪ P (also