Lines Matching defs:Nor
694 auto Nor = [&](auto Lhs, auto Rhs) { return Not(Or(Lhs, Rhs)); };
728 Res = Nor(Or(A, B), C);
732 Res = And(Nor(A, B), C);
736 Res = Nor(A, B);
740 Res = And(Nor(A, C), B);
744 Res = Nor(A, C);
748 Res = Nor(A, Xnor(B, C));
752 Res = Nor(A, And(B, C));
756 Res = Nor(A, Nand(B, C));
760 Res = Nor(A, Xor(B, C));
764 Res = Nor(A, Not(C));
768 Res = Nor(A, Nor(C, Not(B)));
772 Res = Nor(A, Not(B));
776 Res = Nor(A, Nor(B, Not(C)));
780 Res = Nor(A, Nor(B, C));
787 Res = And(A, Nor(B, C));
791 Res = Nor(B, C);
795 Res = Nor(Xnor(A, C), B);
799 Res = Nor(And(A, C), B);
803 Res = Nor(Xnor(A, B), C);
807 Res = Nor(And(A, B), C);
819 Res = Nor(Xnor(A, B), Xnor(A, C));
851 Res = Nor(Nand(A, C), B);
855 Res = Nor(Xor(A, C), B);
859 Res = Nor(B, Not(C));
863 Res = Nor(B, Nor(C, Not(A)));
867 Res = Nor(Xnor(A, B), Xor(A, C));
887 Res = Xor(Xor(A, B), Nor(And(A, B), C));
899 Res = Nor(Xnor(A, B), Nor(B, C));
915 Res = Nor(B, Not(A));
919 Res = Nor(Nor(A, Not(C)), B);
923 Res = Nor(Nor(A, C), B);
946 Res = Nor(Xnor(A, B), Nor(A, C));
965 Res = Xor(A, Or(Nor(A, C), B));
969 Res = Xor(A, Or(Nor(A, Not(C)), B));
977 Res = Nor(Nand(A, B), C);
981 Res = Nor(Xor(A, B), C);
985 Res = Nor(Xor(A, B), Xnor(A, C));
993 Res = Nor(C, Not(B));
997 Res = Nor(Nor(B, Not(A)), C);
1017 Res = Nor(Xnor(A, C), Nor(B, C));
1041 Res = Nor(C, Not(A));
1045 Res = Nor(Nor(A, Not(B)), C);
1057 Res = Nor(Nor(A, B), C);
1072 Res = Nor(Nor(A, B), Xnor(A, C));
1083 Res = Xor(A, Or(Nor(A, B), C));
1095 Res = Xor(A, Or(Nor(A, Not(B)), C));
1111 Res = Nor(Nor(A, C), Xnor(B, C));
1119 Res = Nor(Nor(A, B), Xnor(B, C));
1130 Res = Or(Nor(A, B), Xor(B, C));
1134 Res = Xor(Xor(A, B), Nor(Nor(A, B), C));
1146 Res = Or(Nor(A, B), Xor(Xnor(A, B), C));
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);
1190 Res = Xor(B, Or(Nor(B, Not(A)), 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)));
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);
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);
1297 Res = Nor(Nor(A, Not(B)), Xor(B, C));
1301 Res = Xor(Nor(Xnor(A, B), Nor(A, C)), C);
1309 Res = Nor(Nor(A, B), Xor(Xnor(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);
1337 Res = Or(Nor(A, B), Xnor(B, C));
1341 Res = Xor(B, Nor(C, Not(A)));
1345 Res = Or(Nor(A, C), Xnor(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);
1384 Res = Or(Nor(A, B), Xnor(A, C));
1392 Res = Xor(Nor(A, B), C);
1399 Res = Or(Nor(A, B), C);
1403 Res = Xor(Nor(Xnor(B, C), A), C);
1411 Res = Or(Nor(A, Not(B)), 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)));
1439 Res = Or(Xnor(A, C), Nor(B, C));
1451 Res = Xor(Nor(Xnor(A, C), B), C);
1455 Res = Xor(Nor(And(A, C), B), C);
1459 Res = Or(Nor(B, Not(A)), 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);
1510 Res = Or(Xnor(A, B), Nor(A, C));
1518 Res = Xor(Nor(A, C), B);
1522 Res = Xor(B, Nor(A, Xnor(B, C)));
1533 Res = Or(Nor(A, C), B);
1537 Res = Or(Nor(A, Not(C)), B);
1549 Res = Xor(A, Nor(Xor(A, C), B));
1553 Res = Xor(A, Nor(B, Not(C)));
1557 Res = Or(Xnor(A, B), Nor(B, C));
1561 Res = Xor(Nor(Xnor(A, B), Xor(A, C)), A);
1577 Res = Xor(Nor(Xnor(A, B), C), B);
1593 Res = Or(B, Nor(C, Not(A)));
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));
1641 Res = Xor(Or(A, B), Nor(Xnor(A, B), C));
1668 Res = Nand(A, Nor(B, C));
1675 Res = Or(A, Nor(B, C));
1679 Res = Or(A, Nor(B, Not(C)));
1687 Res = Or(A, Nor(C, Not(B)));
1714 Res = Nand(Nor(A, C), B);
1721 Res = Nand(Nor(A, B), C);