Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

ПРИМЕРЫ РЕШЕНИЯ ЗАДАЧ. Задача 1.Доказать, что булева функция (x®y)®((y®z)®(( ®z)) является тождественно истиной.





Задача 1. Доказать, что булева функция (x®y)®((y®z)®(( ®z)) является тождественно истиной.

Решение.

 

x y z x®y y®z (y®z)®((x y) (x®y)®((y®z)®(( ®z))
                 
                 
                 
                 
                 
                 
                 
                 

Так как функция принимает значение 1 на всех наборах переменных, то по определению она является тождественно-истинной.

Задача 2. Преобразовать в СДНФ булеву функцию, заданную формулой (х Þ у)(z+x).

Решение. Действуем по стандартному алгоритму:

1. Добьемся, чтобы в формуле остались только дизъюнкции, конъюнкции и отрицания аргументов: (х Þ у)(z+x)= .

2. Добьемся, чтобы конъюнкции выполнялись раньше дизъюнкций (раскроем скобки): = .

3. Делаем все элементарные конъюнкции правильными: .

4. Делаем все элементарные конъюнкции полными: =

5. Ликвидируем одинаковые элементарные конъюнкции:

Задача 3. Рассмотрим получение СДНФ с помощью таблицы истинности на предыдущем примере

х у z x ® y z D x (x ® y)(z D x)
           
           
           
           
           
           
           
           

Решение. В последней колонки таблицы выбираем функции со значение 1.

По исходным наборам, с учетом алгоритма записываем СДНФ:

 

 







Дата добавления: 2015-08-17; просмотров: 457. Нарушение авторских прав; Мы поможем в написании вашей работы!




Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...


Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...


Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...


Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

Алгоритм выполнения манипуляции Приемы наружного акушерского исследования. Приемы Леопольда – Левицкого. Цель...

ИГРЫ НА ТАКТИЛЬНОЕ ВЗАИМОДЕЙСТВИЕ Методические рекомендации по проведению игр на тактильное взаимодействие...

Реформы П.А.Столыпина Сегодня уже никто не сомневается в том, что экономическая политика П...

Сравнительно-исторический метод в языкознании сравнительно-исторический метод в языкознании является одним из основных и представляет собой совокупность приёмов...

Концептуальные модели труда учителя В отечественной литературе существует несколько подходов к пониманию профессиональной деятельности учителя, которые, дополняя друг друга, расширяют психологическое представление об эффективности профессионального труда учителя...

Конституционно-правовые нормы, их особенности и виды Характеристика отрасли права немыслима без уяснения особенностей составляющих ее норм...

Studopedia.info - Студопедия - 2014-2025 год . (0.01 сек.) русская версия | украинская версия