Элементы гиперкуба и элементы функции. Основные элементы функции и простые импликанты. Понятие приведенной системы простых импликант.

Элемент гиперкуба – множество 2^k вершин гиперкуба таких, что (n-k) координат у них совпадают.

Основной элемент гиперкуба – такой элемент гиперкуба, кот. не явл. подмн-вом никакого другого элемента гиперкуба: не$d_j [ d_i Í d_j ]

Элемент функции – элемент гиперкуба, такой, что все его вершины принадлежат множеству истинности функции.

Основной элемент функции определяется по аналогии с осн. элементом гиперкуба.

Совокупность простых элементов функции называется приведенной оболочкой функции.

Приведенная оболочка функции явл. минимальной ДНФ этой функции.

Импликанта называется простой, если любая её собственная часть импликантой не является.

Импликантой для данной функции является функция, множество истинности которой включено в множество истинности исходной функции.

Или через мн-во ложности:

Система простых импликант некоторой булевской функции, не содержащая избыточных простых импликант, называется приведенной системой простых импликант или неизбыточной.