Math-CAD?

Это можно факторизовать? Я понизил стоимость с 32 до 27.
not_x_1 * x_2 * not_x_3 * ( not_x_5 or x_4 ) or not_x_2 * x_3 * ( not_x_1 or x_4 ) or x_1 * not_x_2 * not_x_3 or x_1 * x_3 * not_x_4 * not_x_5 or x_1 * x_2 * x_3 * x_5

А как ёё декомпозировать?

шаман =)

Как называется эта теория? Поищи соотв. пакет для Octave, Scilab или R.

мат.логика

вот пример факторизации для многочлена степени 1000000 (кстати на линуксе) может пригодится http://portal.acm.org/citation.cfm?id=504333