28. Нормальные формы булевых функций. Дизъюнктивные нормальные формы

29. Конъюнктивные нормальные формы

30. Полнота и замкнутость системы логических функций

31. Графическое представление булева пространства и булевых функций. Булев гиперкуб

32. Развертка гиперкуба на плоскости. Карта Карно

33. Минимизация ДНФ. Метод Квайна-МакКласки

34. Метод Блейка-Порецкого

35. Визуально-матричный метод минимизации

36. Элементы математической логики

37. Алгебра высказываний

38. Основные тавтологии использования высказываний

39. Логические отношения

40. Проверка правильности рассуждений

41. Решение логических задач методом характеристического уравнения

42. Алгебра предикатов

43. Кванторы