Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Получение следствий, содержащих заданные переменные



1) Составляем таблицу истинности

2) Подчёркиваем строку, где одновременно истинны все посылки

3) Подчёркиваем значения заданных переменных в этих случаях

4) Составляем СДНФ по выделенным строкам, учитывая только заданные переменные

5) Упрощаем СДНФ

Пример:





Дата публикования: 2015-03-26; Прочитано: 255 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.006 с)...