Упростим исходную функцию:
для удобства заменим ^ на * и v на +
строим таблицу истинности(см. вложение)
Находим все наборы аргументов, на которых функция принимает значение 1:
Для данной функции такой только один - в предпоследней строке таблицы.
Выписываем конъюнкции по правилу: если в наборе переменная принимает значение 0, то она входит в конъюнкцию с отрицанием, а иначе - без отрицания.
получим:
- это и есть СДНФ для данной функции
ответ:
