Выражения в логике считаются эквивалентными, если соответствующие значения каждого из них совпадают в таблице истинности. 2

Это правило действует в классической (булевой) логике, где оно является теоремой. 3 В других системах логики, например многозначных, никакая конечная таблица истинности не доказывает эквивалентность. 3