Ответ:

Распределительный закон раскрывает скобки, двойное отрицание устраняет два знака отрицания, а закон поглощения упрощает выражение вида \(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\)