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