Упростить логическое выражение: (AvНЕA)&B и А&(НЕАv B)

(A ∨ НЕ A) & B = B

А & (НЕ А ∨ B) = A & B

Объяснение:

(A ∨ НЕ A) & B = 1 & B = B

A ∨ НЕ A = 1 (закон исключённого третьего)

1 & B = B (операции с константами)

А & (НЕ А ∨ B) = (А & НЕ А) ∨ (A & B) = 0 ∨ (A & B) = A & B

А & (НЕ А ∨ B) = (А & НЕ А) ∨ (A & B) (распределительный закон)

А & НЕ А = 0 (закон исключённого третьего)

0 ∨ (A & B) = A & B (операции с константами)