#laws of logic
11 messages · Page 1 of 1 (latest)
im unsure about the line 2 let me check
oh yeah i think you missed the NOT sign when applying associative property
also i dont think you applied the commutative property right
in fact $p \lor (\lnot p \land q) = (p\lor\lnot p)\land(p\lor q)$
John Math
according to the distributive property
@last lintel