Первичные термы

Терм - это переменные, инверсии переменных, их конъюнкция и дизъюнкция.

Первичные термы: - переменные и их инверсии.

Для первичных термов будем использовать обозначение - где e_p = 0 или 1. В общем случае - подставляем сюда значения e_p = 0 или 1 получим:

при e_p = 0 то

при e_p = 1 то

Такое обозначение облегчает формализацию общих соотношений для логических функций: