Logical equivalence calculus in discrete mathematics, (p∧q)∨(p∧ non-q) ... (non-p∨q)∧ (non-q∨p) ... How to allocate and find the detailed ... process.
Distribution ratio: (p ∧ q) ∨ (p ∧~ q) = ((p ∧ q) ∨ p) ∧ ((p ∧ q) ∨ ~ q) = p ∧ (p
(~ p∨q)∧(~ q∨p)=((~ p∨q)∨((~ p∨q)∧p)=(~ p∧~ q)∨( p∧q)=(p→q)∧(p←q)
The second is a proposition with two conditions. I can't type this symbol. That should be it. You can also see it with the truth table.