X ek y =(/XvY)(Xv/Y) ek-ekvalensiya

1. 
   P={f1,f2,...,fn} Bul funksiyalar to’plami berilgan bo’lsin. Ta’rif:P to’plam ustida aniqlangan formula deb, F(P)=f(t1,t2,...,tn) ifodaga aytiladi, bu yerda fϵP va tiP ustidagi yoki o’zgaruvchi, yoki formula. F to’plam bazis, f tashqi funksiya, ti lar esa qism formulalar deyiladi. Har qanday F formulaga bir qiymatli biror f Bul funksiyasi mos keladi. Bu holda F formula f funksiyani ifodalaydi deyiladi va f=funcF ko’rinishida belgilanadi.
   
2. 
   X-Y=/XVY/
   
3. 
   X va Y dizyunksiyalari inkori ular konyunksiyasing inkoriga teng konyunksiya dizyuksiyalaring inkoeiga teng.
   
4. 
   X ek Y =(/XvY)(Xv/Y) ek-ekvalensiya
   

3)

6)