1.По заданному варианту, составить таблицу истинности функции трех переменных F(x,y,z). Изобразить графически F(x,y,z) на кубе.
2.Определить множество фиктивных аргументов функции F(x,y,z) .
3.Построить ДСНФ и КСНФ.
4.Используя законы алгебры логики, пошагово преобразовать заданную функцию в ДНФ. Построить таблицу истинности.
5.Наиболее простую аналитическую форму перевести в базисы {Ø,Ú}, {Ø,&}, {|}, {¯} и сравнить с заданной функцией, построив таблицу истинности.
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. 
26. 
27. 
28. 
29. 
30. 
Контрольные вопросы
1.Определение двоичного набора.
2.Определение булевой функции или функции алгебры логики (ФАЛ).
3.Область определения и область значений ФАЛ.
4.Фиктивные аргументы ФАЛ.
5.ФАЛ от одной переменной.
6.Элементарные ФАЛ от двух переменных.
7.Основные законы алгебры логики.
8.Полные системы функций, минимальный базис.
9.Аналитическое описание ФАЛ: дизъюнктивная и конъюнктивная нормальные формы.
