Очевидное - невероятное. Алгебра Предикатов {E(K)} VS Стрим 22 2020 Иформатика БУ

Детально с логикой БУ можно ознакомиться https://www.youtube.com/watch?v=VwGfuTnZnbM (2ч. 05 мин.)
С Алгеброй Предикатов {E(K)} по http://kpolyakov.spb.ru/download/mea18bit.pdf .              Отмечу , что второй подход универсален и решает любое уравнение с побитной конъюнкцией уровня ЕГЭ Информатика либо более сложной. Это не имеет значения в силу универсальности концепсии разложения по базисным предикатам

Решение с применением Алгебры {E(K)}
Конвертируем выражение в термины алгебры {Е(К)}
(E(28) v E(45))=>(¬E(17)=>E(A)) ≡1

По Де Моргану

¬E(28)^¬E(45) v E(17) v E(A) ≡1

Разложим по базисным предикатам

E(28)=E(16) v E(8) v E(4)

E(45)=E(32) v E(8) v E(4) v Е(1)

По Де Моргану

¬Е(28)=¬Е(16)^¬Е(8)^¬E(4)

¬E(45)=¬E(32)^¬E(8)^¬E(4)^¬E(1)

Откуда

¬Е(28)^¬Е(45)=¬Е(32)^¬Е(16)^¬Е(8)^¬Е(4)^¬Е(1)

Таким образом

¬Е(32)^¬Е(16)^¬Е(8)^¬Е(4)^¬Е(1) v Е(16) v Е(1) v 

v Е(А) ≡1

Очевидно,что ¬Е(16) и ¬Е(1) будут подавлены в 

конъюнкции и мы получим

¬Е(32)^¬Е(8)^¬Е(4) v Е(16) v Е(1) v Е(А) ≡1

¬(Е(32) v Е(8) v Е(4)) v Е(17) v Е(А) ≡1

¬Е(44) v Е(17) v Е(А)≡1

Откуда А(min)=44