Prove the validity of the following arguments, using only the rules from the these tables.

1) (B -> R) ^ (R' v C) ^ B -> (R ^ C)

2) A' -> (B -> (B v A))

3) (D' ^ B') ^ C -> (B' -> D)'

nference Rules From Name/Abbreviation for Rule Can Dorivo Q IQ Modus ponens-mp P, P P Modus tollens-mt p Q, Q' PAC Conjunction-con P, Q PAQ P, Q Simplification-sim P PVIQ Addition-add