Ответ:
Распределительный закон раскрывает скобки, двойное отрицание устраняет два знака отрицания, а закон поглощения упрощает выражение вида \(A \lor (A \land B)\) до \(A\).
| Название закона | Формула |
|---|---|
| Распределительный закон | \(A \land (B \lor C) \equiv (A \land B) \lor (A \land C)\) |
| Закон двойного отрицания | \(\neg(\neg A) \equiv A\) |
| Закон поглощения | \(A \lor (A \land B) \equiv A\) |
