Lines Matching defs:Xor
689 auto Xor = [&](auto Lhs, auto Rhs) -> std::pair<Value *, uint8_t> {
699 auto Xnor = [&](auto Lhs, auto Rhs) { return Not(Xor(Lhs, Rhs)); };
764 Res = Nor(A, Xor(B, C));
815 Res = Xor(Xor(A, B), And(Nand(A, B), C));
819 Res = Xor(Or(A, B), Or(Xnor(A, B), C));
831 Res = Xor(A, Or(And(A, B), C));
835 Res = Xor(A, Or(Xnor(A, B), C));
839 Res = Xor(A, Or(And(A, C), B));
843 Res = Xor(A, Or(Xnor(A, C), B));
847 Res = Xor(A, Or(B, C));
859 Res = Nor(Xor(A, C), B);
871 Res = Nor(Xnor(A, B), Xor(A, C));
875 Res = Xor(A, Nand(Nand(A, B), C));
879 Res = And(Nand(A, B), Xor(B, C));
883 Res = Xor(Or(Xnor(A, B), C), B);
887 Res = And(Xor(A, B), C);
891 Res = Xor(Xor(A, B), Nor(And(A, B), C));
899 Res = Xor(Or(Xnor(A, B), Xor(A, C)), A);
907 Res = Xor(A, Or(B, Not(C)));
911 Res = Xor(A, Or(Xor(A, C), B));
934 Res = And(Xor(A, B), Nand(B, C));
938 Res = Xor(B, Or(A, Xnor(B, C)));
942 Res = Xor(Or(A, C), B);
954 Res = Xor(Or(A, Not(C)), B);
958 Res = Xor(B, Or(A, Xor(B, C)));
965 Res = Xor(A, B);
969 Res = Xor(A, Or(Nor(A, C), B));
973 Res = Xor(A, Or(Nor(A, Not(C)), B));
985 Res = Nor(Xor(A, B), C);
989 Res = Nor(Xor(A, B), Xnor(A, C));
993 Res = Xor(A, Nand(Nand(A, C), B));
1005 Res = Xor(Or(And(A, C), B), C);
1009 Res = Xor(Or(Xnor(A, C), B), C);
1013 Res = And(Xor(A, C), B);
1017 Res = Xor(Or(Xnor(A, B), And(A, C)), C);
1025 Res = Xor(A, Or(C, Not(B)));
1033 Res = Xor(Or(Xor(A, B), Xnor(A, C)), A);
1037 Res = Xor(A, Or(Xor(A, B), C));
1053 Res = And(Xor(A, C), Nand(B, C));
1057 Res = Xor(Or(Xnor(B, C), A), C);
1068 Res = Xor(Or(A, B), C);
1080 Res = Xor(Or(A, Not(B)), C);
1083 Res = Xor(A, C);
1087 Res = Xor(A, Or(Nor(A, B), C));
1091 Res = Xor(Or(Xor(B, C), A), C);
1099 Res = Xor(A, Or(Nor(A, Not(B)), C));
1107 Res = And(A, Xor(B, C));
1111 Res = Xor(Or(Xnor(A, B), And(B, C)), C);
1119 Res = Xor(B, Or(C, Not(A)));
1127 Res = Xor(Or(B, Not(A)), C);
1130 Res = Xor(B, C);
1134 Res = Or(Nor(A, B), Xor(B, C));
1138 Res = Xor(Xor(A, B), Nor(Nor(A, B), C));
1142 Res = Xor(Xnor(A, B), C);
1146 Res = Xor(And(A, B), C);
1150 Res = Or(Nor(A, B), Xor(Xnor(A, B), C));
1154 Res = Xor(And(A, C), B);
1158 Res = Xor(Or(Xnor(A, B), Nor(A, C)), C);
1162 Res = Or(Nor(A, Not(B)), Xor(B, C));
1174 Res = Xor(Nor(Xor(A, B), Xor(A, C)), A);
1178 Res = Xor(Or(Xor(A, B), C), B);
1186 Res = Xor(Or(Xor(A, C), B), C);
1194 Res = Xor(B, Or(Nor(B, Not(A)), C));
1202 Res = Xor(A, And(B, C));
1206 Res = Xor(Or(Xnor(A, B), Nor(B, C)), C);
1210 Res = Or(Xor(A, C), Nor(B, Not(A)));
1218 Res = Or(Xor(A, B), Nor(C, Not(A)));
1226 Res = Or(Xor(A, B), Xor(A, C));
1238 Res = Nor(Xor(A, B), Xor(A, C));
1246 Res = Nor(Xor(A, B), Nor(C, Not(A)));
1254 Res = Nor(Xor(A, C), Nor(B, Not(A)));
1258 Res = Xor(Nor(Xnor(A, B), Nor(B, C)), C);
1262 Res = Xor(A, Nand(B, C));
1269 Res = Xor(B, Nor(Nor(B, Not(A)), C));
1277 Res = Xor(Nor(Xor(A, C), B), C);
1285 Res = Xor(Nor(Xor(A, B), C), B);
1289 Res = Xor(Or(Xor(A, B), Xor(A, C)), A);
1301 Res = Nor(Nor(A, Not(B)), Xor(B, C));
1305 Res = Xor(Nor(Xnor(A, B), Nor(A, C)), C);
1309 Res = Xor(Nand(A, C), B);
1313 Res = Nor(Nor(A, B), Xor(Xnor(A, B), C));
1317 Res = Xor(Nand(A, B), C);
1321 Res = Xor(Xor(A, B), C);
1325 Res = Xor(Xor(A, B), Or(Nor(A, B), C));
1329 Res = Nor(Nor(A, B), Xor(B, C));
1337 Res = Xor(Nor(B, Not(A)), C);
1345 Res = Xor(B, Nor(C, Not(A)));
1353 Res = Xor(And(Xor(A, B), Nand(B, C)), C);
1357 Res = Nand(A, Xor(B, C));
1364 Res = Xor(A, Nor(Nor(A, Not(B)), C));
1372 Res = Xor(Nor(Xor(B, C), A), C);
1376 Res = Xor(A, Nor(Nor(A, B), C));
1384 Res = Xor(Nor(A, Not(B)), C);
1396 Res = Xor(Nor(A, B), C);
1407 Res = Xor(Nor(Xnor(B, C), A), C);
1427 Res = Xor(A, Nor(Xor(A, B), C));
1431 Res = Xor(Nor(Xor(A, B), Xnor(A, C)), A);
1439 Res = Xor(A, Nor(C, Not(B)));
1447 Res = Xor(And(Xor(A, B), Nand(A, C)), C);
1451 Res = Nand(Xor(A, C), B);
1455 Res = Xor(Nor(Xnor(A, C), B), C);
1459 Res = Xor(Nor(And(A, C), B), C);
1471 Res = Xor(A, And(Nand(A, C), B));
1475 Res = Or(Xor(A, B), Xnor(A, C));
1479 Res = Or(Xor(A, B), C);
1490 Res = Xor(A, Nor(Nor(A, Not(C)), B));
1494 Res = Xor(A, Nor(Nor(A, C), B));
1506 Res = Xor(B, Nor(A, Xor(B, C)));
1510 Res = Xor(Nor(A, Not(C)), B);
1522 Res = Xor(Nor(A, C), B);
1526 Res = Xor(B, Nor(A, Xnor(B, C)));
1553 Res = Xor(A, Nor(Xor(A, C), B));
1557 Res = Xor(A, Nor(B, Not(C)));
1565 Res = Xor(Nor(Xnor(A, B), Xor(A, C)), A);
1573 Res = Xor(Xor(A, B), Or(And(A, B), C));
1577 Res = Nand(Xor(A, B), C);
1581 Res = Xor(Nor(Xnor(A, B), C), B);
1589 Res = Xor(A, And(Nand(A, B), C));
1593 Res = Or(Xnor(A, B), Xor(A, C));
1605 Res = Or(Xor(A, C), B);
1617 Res = Xor(A, Nor(B, C));
1621 Res = Xor(A, Nor(Xnor(A, C), B));
1625 Res = Xor(A, Nor(And(A, C), B));
1629 Res = Xor(A, Nor(Xnor(A, B), C));
1633 Res = Xor(A, Nor(And(A, B), C));
1637 Res = Or(And(A, B), Xor(B, C));
1645 Res = Xor(Or(A, B), Nor(Xnor(A, B), C));
1649 Res = Xor(Xor(A, B), Nand(Nand(A, B), C));
1699 Res = Or(A, Xor(B, C));