Lines Matching defs:Xor

685   auto Xor = [&](auto Lhs, auto Rhs) -> std::pair<Value *, uint8_t> {
695   auto Xnor = [&](auto Lhs, auto Rhs) { return Not(Xor(Lhs, Rhs)); };
760       Res = Nor(A, Xor(B, C));
811       Res = Xor(Xor(A, B), And(Nand(A, B), C));
815       Res = Xor(Or(A, B), Or(Xnor(A, B), C));
827       Res = Xor(A, Or(And(A, B), C));
831       Res = Xor(A, Or(Xnor(A, B), C));
835       Res = Xor(A, Or(And(A, C), B));
839       Res = Xor(A, Or(Xnor(A, C), B));
843       Res = Xor(A, Or(B, C));
855       Res = Nor(Xor(A, C), B);
867       Res = Nor(Xnor(A, B), Xor(A, C));
871       Res = Xor(A, Nand(Nand(A, B), C));
875       Res = And(Nand(A, B), Xor(B, C));
879       Res = Xor(Or(Xnor(A, B), C), B);
883       Res = And(Xor(A, B), C);
887       Res = Xor(Xor(A, B), Nor(And(A, B), C));
895       Res = Xor(Or(Xnor(A, B), Xor(A, C)), A);
903       Res = Xor(A, Or(B, Not(C)));
907       Res = Xor(A, Or(Xor(A, C), B));
930       Res = And(Xor(A, B), Nand(B, C));
934       Res = Xor(B, Or(A, Xnor(B, C)));
938       Res = Xor(Or(A, C), B);
950       Res = Xor(Or(A, Not(C)), B);
954       Res = Xor(B, Or(A, Xor(B, C)));
961     Res = Xor(A, B);
965       Res = Xor(A, Or(Nor(A, C), B));
969       Res = Xor(A, Or(Nor(A, Not(C)), B));
981       Res = Nor(Xor(A, B), C);
985       Res = Nor(Xor(A, B), Xnor(A, C));
989       Res = Xor(A, Nand(Nand(A, C), B));
1001       Res = Xor(Or(And(A, C), B), C);
1005       Res = Xor(Or(Xnor(A, C), B), C);
1009       Res = And(Xor(A, C), B);
1013       Res = Xor(Or(Xnor(A, B), And(A, C)), C);
1021       Res = Xor(A, Or(C, Not(B)));
1029       Res = Xor(Or(Xor(A, B), Xnor(A, C)), A);
1033       Res = Xor(A, Or(Xor(A, B), C));
1049       Res = And(Xor(A, C), Nand(B, C));
1053       Res = Xor(Or(Xnor(B, C), A), C);
1064       Res = Xor(Or(A, B), C);
1076       Res = Xor(Or(A, Not(B)), C);
1079     Res = Xor(A, C);
1083       Res = Xor(A, Or(Nor(A, B), C));
1087       Res = Xor(Or(Xor(B, C), A), C);
1095       Res = Xor(A, Or(Nor(A, Not(B)), C));
1103       Res = And(A, Xor(B, C));
1107       Res = Xor(Or(Xnor(A, B), And(B, C)), C);
1115       Res = Xor(B, Or(C, Not(A)));
1123       Res = Xor(Or(B, Not(A)), C);
1126     Res = Xor(B, C);
1130       Res = Or(Nor(A, B), Xor(B, C));
1134       Res = Xor(Xor(A, B), Nor(Nor(A, B), C));
1138       Res = Xor(Xnor(A, B), C);
1142       Res = Xor(And(A, B), C);
1146       Res = Or(Nor(A, B), Xor(Xnor(A, B), C));
1150       Res = Xor(And(A, C), B);
1154       Res = Xor(Or(Xnor(A, B), Nor(A, C)), C);
1158       Res = Or(Nor(A, Not(B)), Xor(B, C));
1170       Res = Xor(Nor(Xor(A, B), Xor(A, C)), A);
1174       Res = Xor(Or(Xor(A, B), C), B);
1182       Res = Xor(Or(Xor(A, C), B), C);
1190       Res = Xor(B, Or(Nor(B, Not(A)), C));
1198       Res = Xor(A, And(B, C));
1202       Res = Xor(Or(Xnor(A, B), Nor(B, C)), C);
1206       Res = Or(Xor(A, C), Nor(B, Not(A)));
1214       Res = Or(Xor(A, B), Nor(C, Not(A)));
1222       Res = Or(Xor(A, B), Xor(A, C));
1234       Res = Nor(Xor(A, B), Xor(A, C));
1242       Res = Nor(Xor(A, B), Nor(C, Not(A)));
1250       Res = Nor(Xor(A, C), Nor(B, Not(A)));
1254       Res = Xor(Nor(Xnor(A, B), Nor(B, C)), C);
1258       Res = Xor(A, Nand(B, C));
1265       Res = Xor(B, Nor(Nor(B, Not(A)), C));
1273       Res = Xor(Nor(Xor(A, C), B), C);
1281       Res = Xor(Nor(Xor(A, B), C), B);
1285       Res = Xor(Or(Xor(A, B), Xor(A, C)), A);
1297       Res = Nor(Nor(A, Not(B)), Xor(B, C));
1301       Res = Xor(Nor(Xnor(A, B), Nor(A, C)), C);
1305       Res = Xor(Nand(A, C), B);
1309       Res = Nor(Nor(A, B), Xor(Xnor(A, B), C));
1313       Res = Xor(Nand(A, B), C);
1317       Res = Xor(Xor(A, B), C);
1321       Res = Xor(Xor(A, B), Or(Nor(A, B), C));
1325       Res = Nor(Nor(A, B), Xor(B, C));
1333       Res = Xor(Nor(B, Not(A)), C);
1341       Res = Xor(B, Nor(C, Not(A)));
1349       Res = Xor(And(Xor(A, B), Nand(B, C)), C);
1353       Res = Nand(A, Xor(B, C));
1360       Res = Xor(A, Nor(Nor(A, Not(B)), C));
1368       Res = Xor(Nor(Xor(B, C), A), C);
1372       Res = Xor(A, Nor(Nor(A, B), C));
1380       Res = Xor(Nor(A, Not(B)), C);
1392       Res = Xor(Nor(A, B), C);
1403       Res = Xor(Nor(Xnor(B, C), A), C);
1423       Res = Xor(A, Nor(Xor(A, B), C));
1427       Res = Xor(Nor(Xor(A, B), Xnor(A, C)), A);
1435       Res = Xor(A, Nor(C, Not(B)));
1443       Res = Xor(And(Xor(A, B), Nand(A, C)), C);
1447       Res = Nand(Xor(A, C), B);
1451       Res = Xor(Nor(Xnor(A, C), B), C);
1455       Res = Xor(Nor(And(A, C), B), C);
1467       Res = Xor(A, And(Nand(A, C), B));
1471       Res = Or(Xor(A, B), Xnor(A, C));
1475       Res = Or(Xor(A, B), C);
1486       Res = Xor(A, Nor(Nor(A, Not(C)), B));
1490       Res = Xor(A, Nor(Nor(A, C), B));
1502       Res = Xor(B, Nor(A, Xor(B, C)));
1506       Res = Xor(Nor(A, Not(C)), B);
1518       Res = Xor(Nor(A, C), B);
1522       Res = Xor(B, Nor(A, Xnor(B, C)));
1549       Res = Xor(A, Nor(Xor(A, C), B));
1553       Res = Xor(A, Nor(B, Not(C)));
1561       Res = Xor(Nor(Xnor(A, B), Xor(A, C)), A);
1569       Res = Xor(Xor(A, B), Or(And(A, B), C));
1573       Res = Nand(Xor(A, B), C);
1577       Res = Xor(Nor(Xnor(A, B), C), B);
1585       Res = Xor(A, And(Nand(A, B), C));
1589       Res = Or(Xnor(A, B), Xor(A, C));
1601       Res = Or(Xor(A, C), B);
1613       Res = Xor(A, Nor(B, C));
1617       Res = Xor(A, Nor(Xnor(A, C), B));
1621       Res = Xor(A, Nor(And(A, C), B));
1625       Res = Xor(A, Nor(Xnor(A, B), C));
1629       Res = Xor(A, Nor(And(A, B), C));
1633       Res = Or(And(A, B), Xor(B, C));
1641       Res = Xor(Or(A, B), Nor(Xnor(A, B), C));
1645       Res = Xor(Xor(A, B), Nand(Nand(A, B), C));
1695       Res = Or(A, Xor(B, C));