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

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

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

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

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

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

Патристика и схоластика как этап в средневековой философии Основной задачей теологии является толкование Священного писания, доказательство существования Бога и формулировка догматов Церкви...

Основные симптомы при заболеваниях органов кровообращения При болезнях органов кровообращения больные могут предъявлять различные жалобы: боли в области сердца и за грудиной, одышка, сердцебиение, перебои в сердце, удушье, отеки, цианоз головная боль, увеличение печени, слабость...

Вопрос 1. Коллективные средства защиты: вентиляция, освещение, защита от шума и вибрации Коллективные средства защиты: вентиляция, освещение, защита от шума и вибрации К коллективным средствам защиты относятся: вентиляция, отопление, освещение, защита от шума и вибрации...

Устройство рабочих органов мясорубки Независимо от марки мясорубки и её технических характеристик, все они имеют принципиально одинаковые устройства...

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

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

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