Задание

Для реализации метода упрощения логических выражений необходимо выполнить 5 шагов. Восстановите алгоритм выполнения данного метода.

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

записать условие задачи с использованием имён переменных, заменив текстовые логические связки логическими операциями

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

определить наборы логических переменных, при которых составное высказывание будет истинным

определить решение в терминах высказываний