Завдання з розділу „Математична логіка”

8. Побудувати таблиці істинності формул

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. .

9. Побудувати еквівалентні формули в алгебрі Буля.

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. .

10. Побудувати еквівалентні формули в алгебрі Жегалкіна.

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. .

(У поданих нижче завданнях номер варіанту — цифра молодшого розряду спискового номера)

11. Для заданої формули алгебри логіки побудувати відповідні їй досконалу диз’юнктивну та досконалу кон’юнктивну нормальні форми, як за таблицею істинності, так і аналітично.

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.

12. Для заданої формули алгебри логіки знайти мінімальну диз’юнктивну нормальну форму методами:

1. Квайна;

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.

2. Мак-Класкі;

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.

3. Блейка-Порецького.

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.

13. Встановити, до якого класу функцій належить задана булева функція.

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.

14. Визначити, чи задана система функцій є функціонально (сильно) повною.

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.

15. Визначити, чи задана система функцій володіє властивістю послабленої повноти.

1.		2.
3.		4.
5.		6.
7.		8.
9.		10.	.