Пример. Используем алгоритм перехода от таблицы истинности к алгебраическому представлению функции Получим СДНФ для функции .
Используем алгоритм перехода от таблицы истинности к алгебраическому представлению функции.
а) построим таблицу истинности функции и отметим интерпретации, на которых функция равна единице (таблица 3.17).
Таблица 3.17 - Функция , заданная в табличном виде
б) запишем конституенты единицы, соответствующие отмеченным интерпретациям: , , .
в) получим СДНФ функции посредством соединения операцией дизъюнкции записанных конституент единицы
Для перехода от таблицы истинности булевой функции к СКНФ можно воспользоваться следующим алгоритмом:
а) выделить в таблице истинности все интерпретации, на которых значение функции равно нулю;
б) записать конституенты нуля, соответствующие отмеченным интерпретациям;
в) получить СКНФ функции посредством соединения операцией конъюнкции записанных конституент нуля.
Дата добавления: 2014-10-22 ; Просмотров: 588 ; Нарушение авторских прав? ; Мы поможем в написании вашей работы!
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет