truth table (((p or q) implies r) \[Equivalent] ((p implies r) and (q implies r)))truth table (((p or q) implies r) \[Equivalent] ((p implies r) and (q implies r)))

• Natural Language
• Math Input