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

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