Понятия об импликантах логических функций
Логическая функция называется импликантой логические функции , если все единичные наборы переменных функции являются подмножеством единичных наборов функции Пример. В логической функции импликантами являются все конституенты «1» (логическая функция, единичное значение которой определено только на одном наборе переменных): . Простой импликантой логической функции называется элементарное произведение всех или части переменных , являющееся импликантой логической функции , такое, что удалении любого числа сомножителей приведет к получению произведения, не являющегося импликантой. Пример. В логической функции , определенной на наборах , выполним операции склеивания первого и второго, а также третьего и четвертого слагаемых: . простыми импликантами являются произведения , которые определены на наборах и , соответственно. Причем, переменная для обеих произведений является фиктивной. Удаление любой из переменных в этих конъюнкциях приведет к увеличению числа единичных наборов, следовательно, эти произведения являются простыми импликантами.
|