Lines Matching full:nor
698 auto Nor = [&](auto Lhs, auto Rhs) { return Not(Or(Lhs, Rhs)); }; in simplifyTernarylogic() local
732 Res = Nor(Or(A, B), C); in simplifyTernarylogic()
736 Res = And(Nor(A, B), C); in simplifyTernarylogic()
740 Res = Nor(A, B); in simplifyTernarylogic()
744 Res = And(Nor(A, C), B); in simplifyTernarylogic()
748 Res = Nor(A, C); in simplifyTernarylogic()
752 Res = Nor(A, Xnor(B, C)); in simplifyTernarylogic()
756 Res = Nor(A, And(B, C)); in simplifyTernarylogic()
760 Res = Nor(A, Nand(B, C)); in simplifyTernarylogic()
764 Res = Nor(A, Xor(B, C)); in simplifyTernarylogic()
768 Res = Nor(A, Not(C)); in simplifyTernarylogic()
772 Res = Nor(A, Nor(C, Not(B))); in simplifyTernarylogic()
776 Res = Nor(A, Not(B)); in simplifyTernarylogic()
780 Res = Nor(A, Nor(B, Not(C))); in simplifyTernarylogic()
784 Res = Nor(A, Nor(B, C)); in simplifyTernarylogic()
791 Res = And(A, Nor(B, C)); in simplifyTernarylogic()
795 Res = Nor(B, C); in simplifyTernarylogic()
799 Res = Nor(Xnor(A, C), B); in simplifyTernarylogic()
803 Res = Nor(And(A, C), B); in simplifyTernarylogic()
807 Res = Nor(Xnor(A, B), C); in simplifyTernarylogic()
811 Res = Nor(And(A, B), C); in simplifyTernarylogic()
823 Res = Nor(Xnor(A, B), Xnor(A, C)); in simplifyTernarylogic()
855 Res = Nor(Nand(A, C), B); in simplifyTernarylogic()
859 Res = Nor(Xor(A, C), B); in simplifyTernarylogic()
863 Res = Nor(B, Not(C)); in simplifyTernarylogic()
867 Res = Nor(B, Nor(C, Not(A))); in simplifyTernarylogic()
871 Res = Nor(Xnor(A, B), Xor(A, C)); in simplifyTernarylogic()
891 Res = Xor(Xor(A, B), Nor(And(A, B), C)); in simplifyTernarylogic()
903 Res = Nor(Xnor(A, B), Nor(B, C)); in simplifyTernarylogic()
919 Res = Nor(B, Not(A)); in simplifyTernarylogic()
923 Res = Nor(Nor(A, Not(C)), B); in simplifyTernarylogic()
927 Res = Nor(Nor(A, C), B); in simplifyTernarylogic()
950 Res = Nor(Xnor(A, B), Nor(A, C)); in simplifyTernarylogic()
969 Res = Xor(A, Or(Nor(A, C), B)); in simplifyTernarylogic()
973 Res = Xor(A, Or(Nor(A, Not(C)), B)); in simplifyTernarylogic()
981 Res = Nor(Nand(A, B), C); in simplifyTernarylogic()
985 Res = Nor(Xor(A, B), C); in simplifyTernarylogic()
989 Res = Nor(Xor(A, B), Xnor(A, C)); in simplifyTernarylogic()
997 Res = Nor(C, Not(B)); in simplifyTernarylogic()
1001 Res = Nor(Nor(B, Not(A)), C); in simplifyTernarylogic()
1021 Res = Nor(Xnor(A, C), Nor(B, C)); in simplifyTernarylogic()
1045 Res = Nor(C, Not(A)); in simplifyTernarylogic()
1049 Res = Nor(Nor(A, Not(B)), C); in simplifyTernarylogic()
1061 Res = Nor(Nor(A, B), C); in simplifyTernarylogic()
1076 Res = Nor(Nor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1087 Res = Xor(A, Or(Nor(A, B), C)); in simplifyTernarylogic()
1099 Res = Xor(A, Or(Nor(A, Not(B)), C)); in simplifyTernarylogic()
1115 Res = Nor(Nor(A, C), Xnor(B, C)); in simplifyTernarylogic()
1123 Res = Nor(Nor(A, B), Xnor(B, C)); in simplifyTernarylogic()
1134 Res = Or(Nor(A, B), Xor(B, C)); in simplifyTernarylogic()
1138 Res = Xor(Xor(A, B), Nor(Nor(A, B), C)); in simplifyTernarylogic()
1150 Res = Or(Nor(A, B), Xor(Xnor(A, B), C)); in simplifyTernarylogic()
1158 Res = Xor(Or(Xnor(A, B), Nor(A, C)), C); in simplifyTernarylogic()
1162 Res = Or(Nor(A, Not(B)), Xor(B, C)); in simplifyTernarylogic()
1174 Res = Xor(Nor(Xor(A, B), Xor(A, C)), A); in simplifyTernarylogic()
1194 Res = Xor(B, Or(Nor(B, Not(A)), C)); in simplifyTernarylogic()
1206 Res = Xor(Or(Xnor(A, B), Nor(B, C)), C); in simplifyTernarylogic()
1210 Res = Or(Xor(A, C), Nor(B, Not(A))); in simplifyTernarylogic()
1218 Res = Or(Xor(A, B), Nor(C, Not(A))); in simplifyTernarylogic()
1238 Res = Nor(Xor(A, B), Xor(A, C)); in simplifyTernarylogic()
1246 Res = Nor(Xor(A, B), Nor(C, Not(A))); in simplifyTernarylogic()
1254 Res = Nor(Xor(A, C), Nor(B, Not(A))); in simplifyTernarylogic()
1258 Res = Xor(Nor(Xnor(A, B), Nor(B, C)), C); in simplifyTernarylogic()
1269 Res = Xor(B, Nor(Nor(B, Not(A)), C)); in simplifyTernarylogic()
1277 Res = Xor(Nor(Xor(A, C), B), C); in simplifyTernarylogic()
1285 Res = Xor(Nor(Xor(A, B), C), B); in simplifyTernarylogic()
1301 Res = Nor(Nor(A, Not(B)), Xor(B, C)); in simplifyTernarylogic()
1305 Res = Xor(Nor(Xnor(A, B), Nor(A, C)), C); in simplifyTernarylogic()
1313 Res = Nor(Nor(A, B), Xor(Xnor(A, B), C)); in simplifyTernarylogic()
1325 Res = Xor(Xor(A, B), Or(Nor(A, B), C)); in simplifyTernarylogic()
1329 Res = Nor(Nor(A, B), Xor(B, C)); in simplifyTernarylogic()
1337 Res = Xor(Nor(B, Not(A)), C); in simplifyTernarylogic()
1341 Res = Or(Nor(A, B), Xnor(B, C)); in simplifyTernarylogic()
1345 Res = Xor(B, Nor(C, Not(A))); in simplifyTernarylogic()
1349 Res = Or(Nor(A, C), Xnor(B, C)); in simplifyTernarylogic()
1364 Res = Xor(A, Nor(Nor(A, Not(B)), C)); in simplifyTernarylogic()
1372 Res = Xor(Nor(Xor(B, C), A), C); in simplifyTernarylogic()
1376 Res = Xor(A, Nor(Nor(A, B), C)); in simplifyTernarylogic()
1384 Res = Xor(Nor(A, Not(B)), C); in simplifyTernarylogic()
1388 Res = Or(Nor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1396 Res = Xor(Nor(A, B), C); in simplifyTernarylogic()
1403 Res = Or(Nor(A, B), C); in simplifyTernarylogic()
1407 Res = Xor(Nor(Xnor(B, C), A), C); in simplifyTernarylogic()
1415 Res = Or(Nor(A, Not(B)), C); in simplifyTernarylogic()
1427 Res = Xor(A, Nor(Xor(A, B), C)); in simplifyTernarylogic()
1431 Res = Xor(Nor(Xor(A, B), Xnor(A, C)), A); in simplifyTernarylogic()
1439 Res = Xor(A, Nor(C, Not(B))); in simplifyTernarylogic()
1443 Res = Or(Xnor(A, C), Nor(B, C)); in simplifyTernarylogic()
1455 Res = Xor(Nor(Xnor(A, C), B), C); in simplifyTernarylogic()
1459 Res = Xor(Nor(And(A, C), B), C); in simplifyTernarylogic()
1463 Res = Or(Nor(B, Not(A)), C); in simplifyTernarylogic()
1490 Res = Xor(A, Nor(Nor(A, Not(C)), B)); in simplifyTernarylogic()
1494 Res = Xor(A, Nor(Nor(A, C), B)); in simplifyTernarylogic()
1506 Res = Xor(B, Nor(A, Xor(B, C))); in simplifyTernarylogic()
1510 Res = Xor(Nor(A, Not(C)), B); in simplifyTernarylogic()
1514 Res = Or(Xnor(A, B), Nor(A, C)); in simplifyTernarylogic()
1522 Res = Xor(Nor(A, C), B); in simplifyTernarylogic()
1526 Res = Xor(B, Nor(A, Xnor(B, C))); in simplifyTernarylogic()
1537 Res = Or(Nor(A, C), B); in simplifyTernarylogic()
1541 Res = Or(Nor(A, Not(C)), B); in simplifyTernarylogic()
1553 Res = Xor(A, Nor(Xor(A, C), B)); in simplifyTernarylogic()
1557 Res = Xor(A, Nor(B, Not(C))); in simplifyTernarylogic()
1561 Res = Or(Xnor(A, B), Nor(B, C)); in simplifyTernarylogic()
1565 Res = Xor(Nor(Xnor(A, B), Xor(A, C)), A); in simplifyTernarylogic()
1581 Res = Xor(Nor(Xnor(A, B), C), B); in simplifyTernarylogic()
1597 Res = Or(B, Nor(C, Not(A))); in simplifyTernarylogic()
1617 Res = Xor(A, Nor(B, C)); in simplifyTernarylogic()
1621 Res = Xor(A, Nor(Xnor(A, C), B)); in simplifyTernarylogic()
1625 Res = Xor(A, Nor(And(A, C), B)); in simplifyTernarylogic()
1629 Res = Xor(A, Nor(Xnor(A, B), C)); in simplifyTernarylogic()
1633 Res = Xor(A, Nor(And(A, B), C)); in simplifyTernarylogic()
1645 Res = Xor(Or(A, B), Nor(Xnor(A, B), C)); in simplifyTernarylogic()
1672 Res = Nand(A, Nor(B, C)); in simplifyTernarylogic()
1679 Res = Or(A, Nor(B, C)); in simplifyTernarylogic()
1683 Res = Or(A, Nor(B, Not(C))); in simplifyTernarylogic()
1691 Res = Or(A, Nor(C, Not(B))); in simplifyTernarylogic()
1718 Res = Nand(Nor(A, C), B); in simplifyTernarylogic()
1725 Res = Nand(Nor(A, B), C); in simplifyTernarylogic()