Как описать шаги алгоритма?

1. Идентифицировать строки таблицы истинности, где значение функции равно 1. 2. Записать мажоранты (конъюнкции) переменных для этих строк. 3. Объединить их через логическое ИЛИ. 4. Упростить выражения, используя законы булевой алгебры.