((p > q) AND (q > r)) > (p > r) Implies is transitive (p > q) == (NOT p OR q) We can express "implies" in terms of NOT and OR (p1 AND p2 AND pn > q) == (NOT p1 OR NOT p2 OR NOT pn OR q) We can express a series of implicants using NOT and OR (p > q) == (NOT q > NOT p) This equivalence is known as the contrapositive law ((pQ ^r)!(p !(q !Question originally answered What is the truth table for (p>q) ^ (q>r)> (p>r)?
The Logical Statement Pvvq Vv P R Q R Is Equivalent To A P Q R B P Vv R C P R Q D P Q Vvr
