simpler expression for expression format setting

This commit is contained in:
hneemann 2017-06-08 20:40:26 +02:00
parent 38ea567589
commit 097e48faf1

View File

@ -58,8 +58,7 @@ public class FormatToExpression implements Formatter {
static {
Variable a = v("A");
Variable b = v("B");
Variable c = v("C");
TOSTRING_EXPR = or(and(a, not(b), c), and(a, not(b), not(c)), Constant.ZERO);
TOSTRING_EXPR = or(and(a, not(b)), and(not(a), b), Constant.ZERO);
}