УПРОЩЕНИЕ СЛОЖНЫХ ВЫСКАЗЫВАНИЙ

Знание правил замены операций импликации и эквивалентности помогает правильно построить отрицание импликации.

Рассмотрим пример. Пусть дано высказывание: Е = Неверно, что если я выиграю конкурс, то получу приз. Пусть А = Я выиграю конкурс, В = Я получу приз. Тогда , т.е. Е = Я выиграю конкурс, но приз не получу.

Упрощение сложных высказываний – это замена их на равносильные на основе законов алгебры высказываний с целью получения высказываний более простой формы.

При упрощении сложных высказываний рекомендуется использовать следующие основные приемы замены отдельной переменной или константы формулой:

	по свойствам констант
	по закону исключенного третьего
	по закону непротиворечия
	по закону идемпотентности
	по закону двойного отрицания