Терм - это переменные, инверсии переменных, их конъюнкция и дизъюнкция.
Первичные термы: - переменные и их инверсии.
Для первичных термов будем использовать обозначение
- где ep = 0 или 1.В общем случае
- подставляем сюда значения ep = 0 или 1получим:
при ep = 0то
приep = 1то 
Такое обозначение облегчает формализацию общих соотношений для логических функций:


