Lines Matching refs:Xnor
699 auto Xnor = [&](auto Lhs, auto Rhs) { return Not(Xor(Lhs, Rhs)); }; in simplifyTernarylogic() local
752 Res = Nor(A, Xnor(B, C)); in simplifyTernarylogic()
799 Res = Nor(Xnor(A, C), B); in simplifyTernarylogic()
807 Res = Nor(Xnor(A, B), C); in simplifyTernarylogic()
819 Res = Xor(Or(A, B), Or(Xnor(A, B), C)); in simplifyTernarylogic()
823 Res = Nor(Xnor(A, B), Xnor(A, C)); in simplifyTernarylogic()
827 Res = And(Nand(A, B), Xnor(B, C)); in simplifyTernarylogic()
835 Res = Xor(A, Or(Xnor(A, B), C)); in simplifyTernarylogic()
843 Res = Xor(A, Or(Xnor(A, C), B)); in simplifyTernarylogic()
871 Res = Nor(Xnor(A, B), Xor(A, C)); in simplifyTernarylogic()
883 Res = Xor(Or(Xnor(A, B), C), B); in simplifyTernarylogic()
899 Res = Xor(Or(Xnor(A, B), Xor(A, C)), A); in simplifyTernarylogic()
903 Res = Nor(Xnor(A, B), Nor(B, C)); in simplifyTernarylogic()
938 Res = Xor(B, Or(A, Xnor(B, C))); in simplifyTernarylogic()
950 Res = Nor(Xnor(A, B), Nor(A, C)); in simplifyTernarylogic()
989 Res = Nor(Xor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1009 Res = Xor(Or(Xnor(A, C), B), C); in simplifyTernarylogic()
1017 Res = Xor(Or(Xnor(A, B), And(A, C)), C); in simplifyTernarylogic()
1021 Res = Nor(Xnor(A, C), Nor(B, C)); in simplifyTernarylogic()
1033 Res = Xor(Or(Xor(A, B), Xnor(A, C)), A); in simplifyTernarylogic()
1057 Res = Xor(Or(Xnor(B, C), A), C); in simplifyTernarylogic()
1076 Res = Nor(Nor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1111 Res = Xor(Or(Xnor(A, B), And(B, C)), 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()
1142 Res = Xor(Xnor(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()
1166 Res = Nand(A, Xnor(B, C)); in simplifyTernarylogic()
1206 Res = Xor(Or(Xnor(A, B), Nor(B, C)), C); in simplifyTernarylogic()
1214 Res = Nand(Xnor(A, C), B); in simplifyTernarylogic()
1222 Res = Nand(Xnor(A, B), C); in simplifyTernarylogic()
1242 Res = And(Xnor(A, B), C); in simplifyTernarylogic()
1250 Res = And(Xnor(A, C), B); in simplifyTernarylogic()
1258 Res = Xor(Nor(Xnor(A, B), Nor(B, C)), C); in simplifyTernarylogic()
1297 Res = And(A, Xnor(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()
1333 Res = Xnor(B, C); in simplifyTernarylogic()
1341 Res = Or(Nor(A, B), Xnor(B, C)); in simplifyTernarylogic()
1349 Res = Or(Nor(A, C), Xnor(B, C)); in simplifyTernarylogic()
1380 Res = Xnor(A, C); in simplifyTernarylogic()
1388 Res = Or(Nor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1407 Res = Xor(Nor(Xnor(B, C), A), C); in simplifyTernarylogic()
1411 Res = Or(Xnor(A, C), And(B, C)); in simplifyTernarylogic()
1431 Res = Xor(Nor(Xor(A, B), Xnor(A, C)), A); in simplifyTernarylogic()
1443 Res = Or(Xnor(A, C), Nor(B, C)); in simplifyTernarylogic()
1455 Res = Xor(Nor(Xnor(A, C), B), C); in simplifyTernarylogic()
1475 Res = Or(Xor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1498 Res = Xnor(A, B); in simplifyTernarylogic()
1514 Res = Or(Xnor(A, B), Nor(A, C)); in simplifyTernarylogic()
1526 Res = Xor(B, Nor(A, Xnor(B, C))); in simplifyTernarylogic()
1530 Res = Or(Xnor(A, B), And(B, 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()
1585 Res = Or(And(A, B), Xnor(B, C)); in simplifyTernarylogic()
1593 Res = Or(Xnor(A, B), Xor(A, C)); in simplifyTernarylogic()
1621 Res = Xor(A, Nor(Xnor(A, C), B)); in simplifyTernarylogic()
1629 Res = Xor(A, Nor(Xnor(A, B), C)); in simplifyTernarylogic()
1641 Res = Or(Xnor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1645 Res = Xor(Or(A, B), Nor(Xnor(A, B), C)); in simplifyTernarylogic()
1657 Res = Or(Xnor(A, B), C); in simplifyTernarylogic()
1665 Res = Or(Xnor(A, C), B); in simplifyTernarylogic()
1711 Res = Or(A, Xnor(B, C)); in simplifyTernarylogic()