Fix some xor arg set errors

cjdrake · May 25, 2015 · 42f714a · 42f714a
1 parent f82db11
commit 42f714a
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/extension/boolexpr/argset.c b/extension/boolexpr/argset.c
@@ -125,20 +125,19 @@ BoolExprXorArgSet_Insert(struct BoolExprXorArgSet *argset, struct BoolExpr *key)
     }
 
     // Xor(x, y, z, z) = Xor(x, y)
-    // Xnor(x, y, z, z) = Xor(x, y)
+    // Xnor(x, y, z, z) = Xnor(x, y)
     if (BoolExprSet_Contains(argset->xs, key)) {
         BoolExprSet_Remove(argset->xs, key);
-        argset->parity = true;
         return true;
     }
 
-    // Xor(x, y, z, ~z) =
-    // Xnor(x, y, z, ~z) =
+    // Xor(x, y, z, ~z) = Xnor(x, y)
+    // Xnor(x, y, z, ~z) = Xor(x, y)
     if (IS_LIT(key) || IS_NOT(key)) {
         struct BoolExpr *ex = Not(key);
         if (BoolExprSet_Contains(argset->xs, ex)) {
             BoolExprSet_Remove(argset->xs, ex);
-            argset->parity = false;
+            argset->parity ^= true;
             BoolExpr_DecRef(ex);
             return true;
         }