Совершенные дизъюнктивные нормальные формы, совершенные конъюнктивные нормальные формы

⇐ Предыдущая 14 15 16 17 18 192021 22 23 Следующая ⇒

Построить таблицы истинности для следующих формул алгебры высказываний и привести эти формулы к СДНФ и СКНФ.

1. (x∧ y)→ (y∧ z);

2. (x→ y)→ (y∧ z);

3. ((x∧ y)→ x)→ z;

4. (x∧ (y→ z)→ x∨ (y∧ z);

5. z→ (x∧ y)∨ (y∧ z);

6. ((x∨ z)∧ y)→ (y→ z);

7. ((x∧ (z→ y)→ y)∨ z);

8. (x∧ y)→ z∨ (y∧ z);

9. (((x→ y)→ z)∨ y)∧ z;

10) x∧ (z→ y)→ z∨ y; 11) ((x∨ z)∧ y)→ (y→ z);

12) (x→ y)→ z∨ (y∧ z);

13) x→ (y→ z)∧ (z∨ x);

14) ((x∧ z)→ y)∨ z;

15) ((x→ y)∧ z→ z)∨ y;

16) x∨ (z→ y)→ (y∧ z);

17) ((x∧ z→ y)→ z)∨ z;

18) (x∧ z → y)→ z∨ y;

19) (x→ y∧ z)∨ y→ z;

20) x→ (y→ z)∨ (y∧ z);

21) ((x∨ y)→ z)→ (y∧ z);

22) (x→ y)→ (z∨ y)∧ z;

23) (((x→ y)∧ z)∨ y)→ z;

24) (z→ y)→ x∧ (z∨ y)∧ z;

25) ((x∧ z)∨ y)→ z∧ (x→ y).

Логическое следствие в алгебре высказываний

Проверить истинность соотношений тремя способами (используя определение логического следствия и пп. 3, 4 теоремы 2.

1. ;

2. ;

3. ;

4. ;

5. ;

6. ;

7. ;

8. ;

9. ;

10. ;

11. ;

12. ;

13. ;

14. ;

15. ;

16. ;

17. ;

18. ;

19. ;

20. ;

21. ;

22. ;

23. ;

24. ;

25. .

Исчисление высказываний

Пусть - формулы исчисления высказываний. Построить вывод формулы исчисления высказываний из данного множества гипотез.

1. ;

2. ;

3. ;

4. ;

5. ;

6. ;

9. ;

10. ;

11. ;

12. ;

13. ;

14. ;

15. ;

16. ;

17. ;

18.

19. ;

20. ;

21.

22. ;

23. ;

24. ;

25. ;

26. ;

27. ;

28. ;

29. .

⇐ Предыдущая 14 15 16 17 18 192021 22 23 Следующая ⇒

Дата добавления: 2014-11-10; просмотров: 1202. Нарушение авторских прав; Мы поможем в написании вашей работы!

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

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

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

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

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

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

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

Оценка качества Анализ документации. Имеющийся рецепт, паспорт письменного контроля и номер лекарственной формы соответствуют друг другу. Ингредиенты совместимы, расчеты сделаны верно, паспорт письменного контроля выписан верно. Правильность упаковки и оформления....

БИОХИМИЯ ТКАНЕЙ ЗУБА В составе зуба выделяют минерализованные и неминерализованные ткани...

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

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