Первые три столбца -- это просто перечисление всех возможных комбинаций значений переменных a, b и c (получается 8 комбинаций, т. е. 8 строчек)
Следующие 4 столбца -- промежуточные вычисления, проводимые с использованием таблиц истинности операторов отрицания и импликации
Следующий столбец F=f→g -- это значения исходной булевой функции F(a, b, c), итого 8 значений
Напротив значений F = 0 написаны дизъюнктивные термы,
т. е. сначала пишешь дизъюнкцию (сумму) a + b + c,
а потом сверху над переменной приписываешь оператор
отрицания, если в этой строчке эта переменная = 1
Если переменная = 0, то отрицание не пишешь
Конъюнктивные термы пишутся напротив F = 1 почти также, только тут надо писать произведение (конъюнкцию) abc, а отрицание проставлять для переменных, у которых значение = 0
Например, в самом начале первой строки написано а=0, b=0 и с=0 ⇒
В самом конце это строки написан терм ¬a•¬b•¬c (¬ -- символ отрицания)
Ну, а ответ -- это самые последние две строчки под таблицей.
Все элементарно: КНФ -- это произведение дизъюнктивных термов (у нас их два)
ДНФ (дизъюнктивная нормальн форма) -- это сумма конъюнктивных термов (у нас их 6)
Как-то так
Вопросы в комменты
