If a compound proposition contains three variables p, q, and r, then its truth table will have eight rows, one for each of the eight ways of assigning truth values to p, q, and r (TTT, TTF, TFT, TFF, FTT, FTF, FFT, FFF). Construct truth tables to verify the following logical implication and equivalences:

Transcribed Image Text:

(A) (p→q) ^ (q→r)⇒ (pr) (B) p ^ (q Vr) = (p ^ q) v (p ^ r) (C) p V (q^r) = (pv q) ^ (p V r)