Definition

Compound propositions that have the same truth values in all possible cases are called logically equivalent.

The compound propositions and are called logically equivalent if is a tautology (i.e. always be true under any circumstances). The notation (also ) denotes that and are logically equivalent

Logic Equivalences

Distributive laws

De Morgan's laws

Absorption laws

Conditional distributive laws

Normal Forms

See Normal Forms The linked page above introduces how to construct basic logic expressions via listing out their truth tables. However, sometimes we could just easily do this work by applying known logic equivalences

For example,

Satisfiability

A compound propositions is satisfiable if there is an assignment of truth values to its variables that makes it true (that is, when it is a tautology or contingency). When no such assignments exist, that is, when the compound proposition is false for all assignments of truth values to its variables, the compound proposition is unsatisfiable

When we find a particular assignment of truth values that makes a compound proposition true, such an assignment is called a solution of this particular satisfiability problem