Таблицы истинности и эквивалентности

Таблицы истинности дают полный способ проверки формул пропозициональной логики. Через эквивалентные преобразования упрощают выражения и готовят их к автоматизированной верификации.