АкушерствоАнатомияАнестезиологияВакцинопрофилактикаВалеологияВетеринарияГигиенаЗаболеванияИммунологияКардиологияНеврологияНефрологияОнкологияОториноларингологияОфтальмологияПаразитологияПедиатрияПервая помощьПсихиатрияПульмонологияРеанимацияРевматологияСтоматологияТерапияТоксикологияТравматологияУрологияФармакологияФармацевтикаФизиотерапияФтизиатрияХирургияЭндокринологияЭпидемиология

Равносильность формул.

Лабораторная работа № 125.

Цель работы. Изучить логические операции и основные равносильности алгебры логики, научиться преобразовывать формулы, используя основные равносильности и правила поглощения.

Логические операции

- отрицание, Ú - дизъюнкция, Ù (&) - конъюнкция,

«(~) - эквиваленция, ® - импликация

Приоритет операций:

конъюнкция, дизъюнкция, эквиваленция и импликация

Таблица истинности

A	B		A Ú B	A & B	A «B	A ® B

Основные равносильности алгебры логики:

1. º A 2. A & B º B & A

3. A Ú B º B Ú A 4. (A & B) & C º A & (B & C)

5. (A Ú B) Ú C º A Ú (B Ú C) 6. A & (B Ú C) º (A & B) Ú (A & C)

7. A Ú (B & C) º (A Ú B) & (A Ú C) 8. A & A º A

9. A Ú A º A 10. (A & B) Ú A º A

11. (A Ú B) & A º A 12. A & B º Ú

13. A Ú B º & 14. A & 1 º A

15. A & 0 º 0 16. A Ú 1 º 1

17. A Ú 0 º A 18. A Ú º 1

19. A & º 0 20. A ® B º Ú B

21. A «B º (A ® B) & (B ® A) º AB Ú

22. A Ú B º A Ú B

Студенты с четными номерами по списку группы выполняют 2, 4, 6, 8, 10 задания, с нечетными номерами выполняют задания 1, 3, 5, 7, 9.

Задание 1. Используя основные равносильности алгебры логики, упростить формулы:

1) ; 2) ; 3) ; 4) ;

5) ; 6) ; 7) ;

8) ;

9) .

Дата добавления: 2015-09-27 | Просмотры: 457 | Нарушение авторских прав