Интервалы

Поставим булеву функцию во взаимнооднозначное соответствие множеств всех двоичных наборов, на которых функция принимает значение 1. Множество всех двоичных наборов, на которых элементарная конъюнкция ранга r принимает значение 1, называется интервалом ранга r. В качестве примера приведем все интервалы для ЭК () (табл. 8.1).

Таблица 8.1

ЭК	Интервалы	ЭК	Интервалы
	111		110
	101
	011		010
	001		000
	111		011

Продолжение табл. 8.1

	101		001
	101 111		100 110
	000 010		001 011
	111		010 110
	001 101		000 100
	101 111 100 110		001 011 000 010
	111 011		001 101
	001 101 011 111		000 100 010 110

ТЕОРЕМА.