Выдержка из книги
Глушков В.М.
Синтез цифровых автоматов
Строя для этой функции канонический полином алгебры Жегалкина ( см. § 4), мы обязательно найдем в этом полиноме член, содержащий произведение каких-либо двух переменных xt и я /, так как в противном случае функция / 4 оказалась бы линейной.