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

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

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

ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при которых тело находится под действием заданной системы сил...

Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...

Логические цифровые микросхемы Более сложные элементы цифровой схемотехники (триггеры, мультиплексоры, декодеры и т.д.) не имеют...

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

ПРОФЕССИОНАЛЬНОЕ САМОВОСПИТАНИЕ И САМООБРАЗОВАНИЕ ПЕДАГОГА Воспитывать сегодня подрастающее поколение на современном уровне требований общества нельзя без постоянного обновления и обогащения своего профессионального педагогического потенциала...

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

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

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

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

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