Упростить формулу (математическая логика) (a || b) && (a || ~b) || - дизъюнкция && - конъюнкция ~ - инверсия

Имея ввиду, что && и || можно понимать как умножение и сложение соответственно, раскроем скобки.
a&&a||b&&a||a&&~b||b&&~b=
=a||b&&a||a&&~b||0
a||a&&x = a для любого x
поэтому, получаем a||0=a.