14. Понятие канонических форм логической функции (кнф, днф, скнф, сднф).

Одну и ту же логическую функцию можно представить различными логическими выражениями. Среди множества выражений, которыми представляется логическая функция, особое место занимают две канонические формы:

совершенная конъюнктивная нормальная форма (СКНФ)

совершенная дизъюнктивная нормальная форма (СДНФ)

Совершенная дизъюнктивная нормальная форма представляет собой дизъюнкцию простых конъюнкций, где под термином простая конъюнкция имеется в виду конъюнкция переменных или их отрицаний. В СДНФ простые конъюнкции содержат все переменные в своей прямой или инверсной форме и отражают собой наборы, на которых представляемая функция имеет единичное значение. Такие конъюнкции называются конституентами единицы рассматриваемой функции. Поэтому СДНФ представляет собой дизъюнкцию (логическую сумму), слагаемыми которой являются конституенты единицы.

15. Способы построения кубических комплексов. Понятия п-мерного куба, нулевого куба, единичного куба, ранга куба.

Также можно сказать, что Ν-куб — это фигура, каждая вершина которой связана рёбрами с Ν другими вершинами; Ν, в свою очередь, определяет размерность этой фигуры. Или же, Ν-мерный куб образуется Ν парами параллельных (Ν-1)-плоскостей, то есть имеет 2Ν гиперграни, каждая из которых является (Ν-1)-кубом.

Нулевой куб – это точка.

Единичный куб – отрезок.

16. Понятие булевых функций от одной и двух переменных, их Условное графическое обозначение.

 Булевы функции одной переменной

		Обозначение	Наименование
			Константа 0
			Тождественная
			Отрицание
			Константа 1

2.6 Булевы функции двух переменных

		Обозначение	Наименование
	0 0 0 0		Константа 0
	0 0 0 1		Конъюнкция
	0 0 1 0
	0 0 1 1
	0 1 0 0
	0 1 0 1
	0 1 1 0		Сложение
	0 1 1 1		Дизъюнкция
	1 0 0 0		Стрелка Пирса
	1 0 0 1		Эквиваленция
	1 0 1 0
	1 0 1 1		Импликация
	1 1 0 0
	1 1 0 1		Импликация
	1 1 1 0		Штрих Шеффера
	1 1 1 1	1	Константа 1