Распределительный \(дистрибутивный\) закон для логического сложения:

• 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\).