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

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

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

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