Какие существуют методы упрощения логических выражений при решении олимпиадных задач?

Для упрощения логических выражений при решении олимпиадных задач используют законы алгебры логики. sites.google.com Некоторые из них:

• Закон двойного отрицания. sites.google.com Операция «НЕ» обратима: если применить её два раза, логическое значение не изменится. sites.google.com
• Закон исключённого третьего. sites.google.com Основан на том, что в классической (двузначной) логике любое логическое выражение либо истинно, либо ложно («третьего не дано»). sites.google.com
• Переместительный и сочетательный законы. sites.google.com olymp.itmo.ru Справедливы относительно как конъюнкции, так и дизъюнкции. olymp.itmo.ru
• Распределительный закон. sites.google.com Для операции «ИЛИ» — это обычное раскрытие скобок. sites.google.com
• Законы де Моргана. sites.google.com Позволяют раскрывать отрицание сложных выражений. sites.google.com При этом не просто «общее» отрицание переходит на отдельные выражения, но и операция «И» заменяется на «ИЛИ» (и наоборот). sites.google.com

Общая последовательность упрощения логических выражений: sites.google.com

1. Заменить все «небазовые» операции (исключающее ИЛИ, импликацию, эквивалентность и др.) на их выражения через базовые операции «НЕ», «И» и «ИЛИ». sites.google.com
2. Раскрыть отрицания сложных выражений по законам де Моргана так, чтобы операции отрицания остались только у отдельных переменных. sites.google.com
3. Упростить выражение, используя вынесение общих множителей за скобки, раскрытие скобок и другие законы алгебры логики. sites.google.com

Также для решения логических задач используют метод рассуждений и табличный метод. resh.edu.ru