Lines Matching full:nor
698 auto Nor = [&](auto Lhs, auto Rhs) { return Not(Or(Lhs, Rhs)); };
732 Res = Nor(Or(A, B), C);
736 Res = And(Nor(A, B), C);
740 Res = Nor(A, B);
744 Res = And(Nor(A, C), B);
748 Res = Nor(A, C);
752 Res = Nor(A, Xnor(B, C));
756 Res = Nor(A, And(B, C));
760 Res = Nor(A, Nand(B, C));
764 Res = Nor(A, Xor(B, C));
768 Res = Nor(A, Not(C));
772 Res = Nor(A, Nor(C, Not(B)));
776 Res = Nor(A, Not(B));
780 Res = Nor(A, Nor(B, Not(C)));
784 Res = Nor(A, Nor(B, C));
791 Res = And(A, Nor(B, C));
795 Res = Nor(B, C);
799 Res = Nor(Xnor(A, C), B);
803 Res = Nor(And(A, C), B);
807 Res = Nor(Xnor(A, B), C);
811 Res = Nor(And(A, B), C);
823 Res = Nor(Xnor(A, B), Xnor(A, C));
855 Res = Nor(Nand(A, C), B);
859 Res = Nor(Xor(A, C), B);
863 Res = Nor(B, Not(C));
867 Res = Nor(B, Nor(C, Not(A)));
871 Res = Nor(Xnor(A, B), Xor(A, C));
891 Res = Xor(Xor(A, B), Nor(And(A, B), C));
903 Res = Nor(Xnor(A, B), Nor(B, C));
919 Res = Nor(B, Not(A));
923 Res = Nor(Nor(A, Not(C)), B);
927 Res = Nor(Nor(A, C), B);
950 Res = Nor(Xnor(A, B), Nor(A, C));
969 Res = Xor(A, Or(Nor(A, C), B));
973 Res = Xor(A, Or(Nor(A, Not(C)), B));
981 Res = Nor(Nand(A, B), C);
985 Res = Nor(Xor(A, B), C);
989 Res = Nor(Xor(A, B), Xnor(A, C));
997 Res = Nor(C, Not(B));
1001 Res = Nor(Nor(B, Not(A)), C);
1021 Res = Nor(Xnor(A, C), Nor(B, C));
1045 Res = Nor(C, Not(A));
1049 Res = Nor(Nor(A, Not(B)), C);
1061 Res = Nor(Nor(A, B), C);
1076 Res = Nor(Nor(A, B), Xnor(A, C));
1087 Res = Xor(A, Or(Nor(A, B), C));
1099 Res = Xor(A, Or(Nor(A, Not(B)), C));
1115 Res = Nor(Nor(A, C), Xnor(B, C));
1123 Res = Nor(Nor(A, B), Xnor(B, C));
1134 Res = Or(Nor(A, B), Xor(B, C));
1138 Res = Xor(Xor(A, B), Nor(Nor(A, B), C));
1150 Res = Or(Nor(A, B), Xor(Xnor(A, B), C));
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);
1194 Res = Xor(B, Or(Nor(B, Not(A)), 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)));
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);
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);
1301 Res = Nor(Nor(A, Not(B)), Xor(B, C));
1305 Res = Xor(Nor(Xnor(A, B), Nor(A, C)), C);
1313 Res = Nor(Nor(A, B), Xor(Xnor(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);
1341 Res = Or(Nor(A, B), Xnor(B, C));
1345 Res = Xor(B, Nor(C, Not(A)));
1349 Res = Or(Nor(A, C), Xnor(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);
1388 Res = Or(Nor(A, B), Xnor(A, C));
1396 Res = Xor(Nor(A, B), C);
1403 Res = Or(Nor(A, B), C);
1407 Res = Xor(Nor(Xnor(B, C), A), C);
1415 Res = Or(Nor(A, Not(B)), 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)));
1443 Res = Or(Xnor(A, C), Nor(B, C));
1455 Res = Xor(Nor(Xnor(A, C), B), C);
1459 Res = Xor(Nor(And(A, C), B), C);
1463 Res = Or(Nor(B, Not(A)), 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);
1514 Res = Or(Xnor(A, B), Nor(A, C));
1522 Res = Xor(Nor(A, C), B);
1526 Res = Xor(B, Nor(A, Xnor(B, C)));
1537 Res = Or(Nor(A, C), B);
1541 Res = Or(Nor(A, Not(C)), B);
1553 Res = Xor(A, Nor(Xor(A, C), B));
1557 Res = Xor(A, Nor(B, Not(C)));
1561 Res = Or(Xnor(A, B), Nor(B, C));
1565 Res = Xor(Nor(Xnor(A, B), Xor(A, C)), A);
1581 Res = Xor(Nor(Xnor(A, B), C), B);
1597 Res = Or(B, Nor(C, Not(A)));
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));
1645 Res = Xor(Or(A, B), Nor(Xnor(A, B), C));
1672 Res = Nand(A, Nor(B, C));
1679 Res = Or(A, Nor(B, C));
1683 Res = Or(A, Nor(B, Not(C)));
1691 Res = Or(A, Nor(C, Not(B)));
1718 Res = Nand(Nor(A, C), B);
1725 Res = Nand(Nor(A, B), C);