A ˄ (B ˅ C) ↔ (A ˄ B) ˅ (A ˄ C)

1. Если истинно A ˄ (B ˅ C), то истинно (A ˄ B) ˅ (А ˄ C).

Верно и обратное.

2. Если А говорит правду и B или C говорят правду, то говорят правду А и B или А и С.

3. Если вода реагирует с углеродом и (с натрием или серой), то вода реагирует с (углеродом и натрием) или (с углеродом и серой).

4. Если А – преступник и В или С – преступники, то А и В – преступники или  А и С – преступники.

Верно обратное.