Что такое упрощение этого оператора if?

Question

boolean a,b; 
if (!(a && b) && (a || b)) || ((a && b) || !(a || b)) 

Существует ли инструмент для выполнения этих упрощений?

Answer 1

Wolfram alpha упростит выражения

Ваше выражение является тавтологией. Правда таблица:

a | b | (¬(a&&b)&&(a||b))||(a&&b)||¬(a||b) 
T | T | T 
T | F | T 
F | T | T 
F | F | T 

Answer 2

Это всегда будет: (а || Ь) || ! (А & & б)

a b || !|| 
0 0 0 1 
0 1 1 0 
1 0 1 0 
1 1 1 0 

И вы можете сделать то же самое с & &.

Вы можете позволить gcc (если вы C/C++) выполнять грязную работу. (Я не предлагаю писать грязный код)