Для упрощения логического выражения в информатике 9 класса можно следовать таким рекомендациям: 4

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

Некоторые законы, которые помогают упростить логические выражения:

• Закон двойного отрицания. 4 Операция «НЕ» обратима: если применить её два раза, логическое значение не изменится. 4
• Закон исключённого третьего. 4 Основан на том, что в классической (двузначной) логике любое логическое выражение либо истинно, либо ложно («третьего не дано»). 4
• Законы де Моргана. 4 Правила позволяют раскрывать отрицание сложных выражений. 4 При этом не просто «общее» отрицание переходит на отдельные выражения, но и операция «И» заменяется на «ИЛИ» (и наоборот). 4

Для успешного упрощения нужна практика, чем больше примеров будет решено, тем вероятнее, что ученик увидит возможные варианты упрощения в конкретном выражении. 2