Условие задачи
Какими способами можно доказать равносильность булевых функций?
Ответ
Стандартный метод установления эквивалентности двух формул состоит в следующем [1, с. 33]: по каждой формуле восстанавливается таблица истинности; полученные таблицы сравниваются по каждому ...