Question

Are the following compound statements are logically equivalent P ∧ Q ∨ Q and P ∨ Q?

Answer 1

Explanation:

This has some significance in logic because if two propositions have the same truth table they are in a logical sense equal to each other – and we say that they are logically equivalent. So: ¬p∨(p∧q)≡p→q, or "Not p or (p and q) is equivalent to if p then q."

...

Logically Equivalent Statements.

p q p→q

F F T