Przemienność alternatywy: pvq<=>qvp
Łączność alternatywy: (pVq)Vr<=>pv(qVr)
Przemienność koniunkcji:
P A q <=> q A p
Łączność koniunkcji: (pAq)Ar&pA(qAr)