diff --git a/src/main/java/de/neemann/digital/analyse/expression/format/FormatToExpression.java b/src/main/java/de/neemann/digital/analyse/expression/format/FormatToExpression.java index b0c22b662..1e3c930d0 100644 --- a/src/main/java/de/neemann/digital/analyse/expression/format/FormatToExpression.java +++ b/src/main/java/de/neemann/digital/analyse/expression/format/FormatToExpression.java @@ -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); }