@zig48

Как доказывать логические формулы?

Дается к примеру равносильность выражающая эквивалентность через другие операции (полная формула во вложении). Как мне доказать подобные формулы?5ff7626e181a2323411976.png
Таблицу истинности в качестве доказательства училка не принимала.
  • Вопрос задан
  • 173 просмотра
Пригласить эксперта
Ответы на вопрос 2
@Filipp42
Можно привести в дизъюнктивную нормальную форму и сравнить, можно сравнить таблицы истинности, или преобразовать одно в другое.
Ответ написан
ProgrammerForever
@ProgrammerForever
Учитель, автоэлектрик, программист, музыкант
Самое железобетонное и в от же время простое - составить таблицы истинности;
Ещё можно преобразовать с помощью тождеств (де Моргана, конъюнкция/дизъюнкция с самим собой/0/1, коммуникативные/ассоциативные правила и т.п.) - их не так много, штук 15 базовых.
Ответ написан
Комментировать
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы