Распределительный (дистрибутивный) закон для логического сложения:
A V (B & C) = (A V B) & (A V C).
A & (B V C) = (A & B) V (A & C).
(A V B) V C = A V (B V C).
(A & B) & C = A & (B & C).