Let a and b be two propositional formulas, if formula a is equivalent; B therefore, when an equivalent formula is tautological, it is said that the former and the latter are equivalent.

For example, judge whether ┐(p∨q) and ┐p∧┐q are equivalent.

That is, Judge (p ∨ q)