Здравствуйте, Иван Александрович!
Применим вместо обозначений
более привычные обозначения
соответственно. Составим для заданной логической функции таблицу истинности:
Заданная логическая функция принимает значение "1" на наборах 0000, 0001, 0010, 0011, 0100, 0101, 1010, 1101, 1110, 1111 (каждому значению "1" в последнем столбце таблицы истинности соответствуют указанные значения логических переменных в первых четырёх столбцах). Поставим в соответствие указанным наборам конъюнкции по всем переменным, причём если переменная в наборе принимает значение "0", то запишем её с отрицанием. Соединяя эти конъюнкции дизъюнкциями, получим совершенную дизъюнктивную нормальную форму (СДНФ) заданной логической функции:
Заданная логическая функция принимает значение "0" на наборах 0110, 0111, 1000, 1001, 1011, 1100. Поставим в соответствие указанным наборам дизъюнкции по всем переменным, причём если переменная в наборе принимает значение "1", то запишем её с отрицанием. Соединяя эти дизъюнкции конъюнкциями, получим совершенную конъюнктивную нормальную форму (СКНФ) заданной логической функции:
Об авторе:
Facta loquuntur.