Вопросы к Поиску с Алисой
Выражения в логике считаются эквивалентными, если соответствующие значения каждого из них совпадают в таблице истинности. reshator.com
Это правило действует в классической (булевой) логике, где оно является теоремой. yandex.ru В других системах логики, например многозначных, никакая конечная таблица истинности не доказывает эквивалентность. yandex.ru