Изучал логику по книге Дискретная математика: логика, группы, графы, фракталы Акимов О.Е.
И у меня возник вопрос, почему в данном случае не используется таблица истинности, для доказательства тавтологии?
Аналогичный конструктивный прием можно использовать для доказательства тавтологии:
(а ∧ а (а → b)) → b = 1.
Доказательство:
а (1 + а + аb) → b = аb → b = 1 + аb + аbb = 1.
Зачем превращаться операции в XOR если в итоге все равно придется проверять все через таблицу.
Не совсем понятен данный момент, разъясните пожалуйста.
