Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Задание 4. Алгебра логики



Читайте также:
  1. I. Задание для самостоятельной работы
  2. I. Отделение сознания от Эго; сознание и мышление; принцип логики
  3. I.Задание для самостоятельной работы
  4. III. ТЕХНИЧЕСКОЕ ЗАДАНИЕ
  5. Аксиомы (тождества) алгебры логики
  6. Алгебра и теория чисел
  7. Алгебраические действия с операторами.

 

1. Доказать справедливость следующих логических отношений:

 

2. Доказать закон исключённого третьего:

 

3. Доказать закон де Моргана:

 

4. Доказать закон двойного отрицания:

 

5. Доказать закон отрицания:

- для конъюнкции;

- для дизъюнкции.

 

6. Доказать закон идемпотентности:

- для конъюнкции;

- для дизъюнкции.

 

7. Доказать коммутативный закон:

;

 

8. Доказать закон поглощения:

;

 

9. Доказать закон двойственности (теорема де Моргана):

;

 

10. Доказать дистрибутивный закон:

;

 

11. Проверить тождество:

 

12. Доказать ассоциативный закон:

;

 

13. Упростить выражение:

 

14. Записать на языке логических формул высказывание: точка M(x, y) находится либо на окружности с центром в начале координат, либо на биссектрисе первого координатного угла.

 

15. Записать на языке логических формул высказывание: точка M(x, y) является точкой пересечения трёх окружностей.

 

16. Записать на языке логических формул высказывание: точка M(x, y) является либо точкой пересечения двух окружностей, либо двух эллипсов.

 

17. Установить логическую зависимость в документе реквизитов «сумма к выдаче», «табельный номер», «фамилия», если известно, что в документе реквизит «сумма к выдаче» должен быть обязательно и должен быть один из реквизитов «табельный номер» или «фамилия». Возможно также совместное присутствие двух последних реквизитов.

 

18.

 
 

Записать на языке логических формул:

 

19.

 
 

Записать на языке логических формул:

 

20.

 
 

Записать на языке логических формул:

 

21. Записать на языке логических формул:

 
 

22.

 
 

Записать на языке логических формул:

 

23.

 
 

Записать на языке логических формул:

 


Дата добавления: 2015-07-11; просмотров: 89 | Нарушение авторских прав






mybiblioteka.su - 2015-2024 год. (0.007 сек.)