Question: I need help with these using rules of interfaces like the line method please 2. Prove the following logic rules from other ones. (The only
2. Prove the following logic rules from other ones. (The only rule you can't use is the one you are trying to prove). Don't forget to prove both directions of rules. a. Double negation: P P b. Demorgan's Law: -(AVB) AA-B c. Associativity of V: XV(YVZ) (XVYVZ d. Distribution/Factorization: (PAQ) VR (PVR)A (QVR) e. Modus ponens: (A A (A- B))- B f. commutativity of V: (XVY) (YVX) g. Transitivity of (P Q)A (Q- R))- (P- R)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
