这个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）|| ！（a＆amp;＆amp; b）

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

你可以用＆amp;＆amp;。

做同样的事情

你可以让gcc（如果你是C / C ++）做脏工作。 （我不打算写脏代码）