терм - это вот так:
X0·X1·X2·X3·X4·X5·X6·X7·X8·X9 (могут быть инверсии). Умножить здесь - это "И". Термы складываются по логическому ИЛИ получается булева функция.
Это в базисе И-ИЛИ-НЕ. Наверное в других базисах тоже есть понятие терм. В МаксПлюсе по-моему оптимизирует в базисе XOR. Вообще этому в институте учат, но уже начинает забываться.
Поправьте меня ежели что наврал.
--------------------
-- Если б мишки были пчелами... (с) --
|