А*b*(c+-a+d)*-b как решить с помощью алгебры логики

Question

А*b*(c+-a+d)*-b как решить с помощью алгебры логики

Answer 1

F=A*B*(C+¬A+D)*¬B                 (Формула: В*¬В=0)
F≡0
 (F всегда ложна при любых принимаемых значениях переменных A,B,C,D)