25 ++ (p ˄ q) → r ≡ p → (q �� r) 171386-P 鈫 q 鈭 r 鈫 s 鈫 p 鈭 r 鈫 q 鈭 s
2 Show that ¬ q → ( p ∧ r ) ≡ (¬ q → r ) ∧ ( q ∨ p) Show the equivalence by establishing a sequence of equivalences You can only use the equivalences in lecture slides Show your work by annotatingLet P, Q, and R be three atomic propositional assertions Let X denote (P ∨ Q) → R and Y denote ( P → R) ∨ ( Q→ R) Which one of the following is a tautology? P 鈫 q 鈭 r 鈫 s 鈫 p 鈭 r 鈫 q 鈭 s
