logically equivalent

Show Summary Details

Quick Reference

Two compound statements involving the same components are logically equivalent if they have the same truth tables. This means that, for all possible truth values of the components, the resulting truth values of the two statements are the same. For example, the truth table for the statement (¬p) ∨ q can be completed as follows:

By comparing the last column here with the truth table for pq (see implication), it can be seen that (¬p) ∨ q and pq are logically equivalent.

Subjects: Mathematics.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.