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

Определение.

Определение.

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

Минтермы любого ранга, входящие в состав ДНФ функции, являются её импликантами.

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

Набор импликант, составляющих ДНФ функции, является её покрытием. Набор всех конституент единицы функции, входящих в её СДНФ, является покрытием данной функции.

Всякая элементарная конъюнкция , входящая в состав элементарной конъюнкции и содержащая меньше переменных, чем конъюнкция , называется собственной частью конъюнкции , и говорят, что конъюнкция покрывает конъюнкцию .

Дата добавления: 2014-10-22