((p_r)^(q_r))<-->((p^q)_r) Prove whether the following statement is a tautology , contigency or contradiction using a truth table.
The Attempt at a Solution
I did the truth table, but this whole thing is one statement no? What do I compare? the first half of the bi conditional statement to the second? or the whole statement vs. the two halves? I don't know which to compare to decide whether or not it is a contingency.
EDIT: figured out the tautology is if L.H.S of <--> is equal to RHS. Sorry for the post!