ответ мы получаем по импликации, а импликация тогда ложна, когда первый аргумент 1, а второй 0, то есть:
A+B = 1
B*C*D = 0
Если B = 1, то A любое значение, а C и/или D = 0
Если B = 0, то А = 1, а B и С любое значение
