Опр.Á[F]=f(t1,t2 ,…, tn), F={f1, f2, …, fn} и fÎF наз. формулой, если ti (i=1…n)явл-ся аргументами либо вновь формулми из f.
Опр. Ф-лы реализующие одну и туже ф-ию различн. наборами (базисами операциями) наз. равносильными.
Замечание:Равносильные ф-лы можно получить аксиомами (1-9). 
Опр. Ф-ия f *(x1,x2,…,xn) наз. двойственной к ф-ии f (x1,x2, …,xn) для которой выполн-ся f *(x1,x2,…,xn)= = 
. (f**=f)
Опр. Если f*=f , то ф-ия f и её двойственная ф-ия наз. самодвойственными.(например: f(x)=x, 
)
Теорема. (принцип двойственности):
Если ф-ия j (x1,x2,…,xn) реализована ф-ией f (f1(x1,x2,…,xn), f2(x1,x2,…,xn) , то fn(x1,x2,…,xn)), то f*(f1*,f2*,…,fn*) реализуем двойственную ф-ию j*(x1,x2,…,xn)
Док-во:
j*(x1,x2,…,xn)= 
