¬(A&¬B) по де Моргану можно переписать как ¬(AvB)
Для наглядности AvB можно заменить на Х
Слева получится выражение X<->¬X, которое тождественно ложно.
Получается
0 хоr B
Т. е. истинность всего выражения совпадает с истинностью B:
0
1
0
1
ОТВЕТ ОТ СЮДА ВЗЯТ:
https://otvet.mail.ru/question/190334122