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

⇐ Предыдущая 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. Нарушение авторских прав; Мы поможем в написании вашей работы!

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

Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

МЕТОДИКА ИЗУЧЕНИЯ МОРФЕМНОГО СОСТАВА СЛОВА В НАЧАЛЬНЫХ КЛАССАХ В практике речевого общения широко известен следующий факт: как взрослые...

СИНТАКСИЧЕСКАЯ РАБОТА В СИСТЕМЕ РАЗВИТИЯ РЕЧИ УЧАЩИХСЯ В языке различаются уровни — уровень слова (лексический), уровень словосочетания и предложения (синтаксический) и уровень Словосочетание в этом смысле может рассматриваться как переходное звено от лексического уровня к синтаксическому...

Плейотропное действие генов. Примеры. Плейотропное действие генов - это зависимость нескольких признаков от одного гена, то есть множественное действие одного гена...

Типовые ситуационные задачи. Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт. ст. Влияние психоэмоциональных факторов отсутствует. Колебаний АД практически нет. Головной боли нет. Нормализовать...

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

Признаки классификации безопасности Можно выделить следующие признаки классификации безопасности. 1. По признаку масштабности принято различать следующие относительно самостоятельные геополитические уровни и виды безопасности. 1.1. Международная безопасность (глобальная и...

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