⌐A & ⌐(⌐A ∨ ⌐B) = ⌐A & (⌐⌐A & ⌐⌐B) = ⌐A & (A & B) = (⌐A & A) & B = 0 & B = 0
⌐(⌐A ∨ ⌐B) = ⌐⌐A & ⌐⌐B (правило де Моргана для ИЛИ)
⌐⌐A = A (закон двойного отрицания)
⌐⌐B = B (закон двойного отрицания)
⌐A & (A & B) = (⌐A & A) & B (сочетательный закон для И)
(⌐A & A) = 0 (операция переменной с её инверсией для И)
0 & B = 0 (операция с константой для И)
отрицание (НЕ, ⌐, черта над буквой)
конъюнкция (И, &, ∧)
дизъюнкция (ИЛИ, ∨)
Объяснение:
