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

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

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

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

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

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

Медицинская документация родильного дома Учетные формы родильного дома № 111/у Индивидуальная карта беременной и родильницы № 113/у Обменная карта родильного дома...

Основные разделы работы участкового врача-педиатра Ведущей фигурой в организации внебольничной помощи детям является участковый врач-педиатр детской городской поликлиники...

Ученые, внесшие большой вклад в развитие науки биологии Краткая история развития биологии. Чарльз Дарвин (1809 -1882)- основной труд « О происхождении видов путем естественного отбора или Сохранение благоприятствующих пород в борьбе за жизнь»...

Мотивационная сфера личности, ее структура. Потребности и мотивы. Потребности и мотивы, их роль в организации деятельности...

Классификация ИС по признаку структурированности задач Так как основное назначение ИС – автоматизировать информационные процессы для решения определенных задач, то одна из основных классификаций – это классификация ИС по степени структурированности задач...

Внешняя политика России 1894- 1917 гг. Внешнюю политику Николая II и первый период его царствования определяли, по меньшей мере три важных фактора...

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