700   auto Nand = [&](auto Lhs, auto Rhs) { return Not(And(Lhs, Rhs)); };  in simplifyTernarylogic()  local
760       Res = Nor(A, Nand(B, C));  in simplifyTernarylogic()
815       Res = Xor(Xor(A, B), And(Nand(A, B), C));  in simplifyTernarylogic()
827       Res = And(Nand(A, B), Xnor(B, C));  in simplifyTernarylogic()
851       Res = Nand(A, Or(B, C));  in simplifyTernarylogic()
855       Res = Nor(Nand(A, C), B);  in simplifyTernarylogic()
875       Res = Xor(A, Nand(Nand(A, B), C));  in simplifyTernarylogic()
879       Res = And(Nand(A, B), Xor(B, C));  in simplifyTernarylogic()
895       Res = And(Nand(A, B), C);  in simplifyTernarylogic()
915       Res = Nand(A, Or(B, Not(C)));  in simplifyTernarylogic()
934       Res = And(Xor(A, B), Nand(B, C));  in simplifyTernarylogic()
946       Res = Nand(Or(A, C), B);  in simplifyTernarylogic()
962       Res = Nand(Or(A, Not(C)), B);  in simplifyTernarylogic()
977       Res = Nand(A, B);  in simplifyTernarylogic()
981       Res = Nor(Nand(A, B), C);  in simplifyTernarylogic()
993       Res = Xor(A, Nand(Nand(A, C), B));  in simplifyTernarylogic()
1029       Res = And(Nand(A, C), B);  in simplifyTernarylogic()
1041       Res = Nand(A, Nand(B, Not(C)));  in simplifyTernarylogic()
1053       Res = And(Xor(A, C), Nand(B, C));  in simplifyTernarylogic()
1072       Res = Nand(Or(A, B), C);  in simplifyTernarylogic()
1095       Res = Nand(Or(A, Not(B)), C);  in simplifyTernarylogic()
1103       Res = Nand(A, C);  in simplifyTernarylogic()
1166       Res = Nand(A, Xnor(B, C));  in simplifyTernarylogic()
1170       Res = And(A, Nand(B, C));  in simplifyTernarylogic()
1182       Res = Nand(Nand(A, Not(C)), B);  in simplifyTernarylogic()
1190       Res = Nand(Nand(A, Not(B)), C);  in simplifyTernarylogic()
1198       Res = Nand(B, C);  in simplifyTernarylogic()
1214       Res = Nand(Xnor(A, C), B);  in simplifyTernarylogic()
1222       Res = Nand(Xnor(A, B), C);  in simplifyTernarylogic()
1230       Res = Nand(And(A, B), C);  in simplifyTernarylogic()
1262       Res = Xor(A, Nand(B, C));  in simplifyTernarylogic()
1273       Res = And(Nand(A, Not(B)), C);  in simplifyTernarylogic()
1281       Res = And(Nand(A, Not(C)), B);  in simplifyTernarylogic()
1293       Res = Nand(A, Nand(B, C));  in simplifyTernarylogic()
1309       Res = Xor(Nand(A, C), B);  in simplifyTernarylogic()
1317       Res = Xor(Nand(A, B), C);  in simplifyTernarylogic()
1353       Res = Xor(And(Xor(A, B), Nand(B, C)), C);  in simplifyTernarylogic()
1357       Res = Nand(A, Xor(B, C));  in simplifyTernarylogic()
1423       Res = And(A, Nand(B, Not(C)));  in simplifyTernarylogic()
1435       Res = Nand(Nand(A, C), B);  in simplifyTernarylogic()
1447       Res = Xor(And(Xor(A, B), Nand(A, C)), C);  in simplifyTernarylogic()
1451       Res = Nand(Xor(A, C), B);  in simplifyTernarylogic()
1471       Res = Xor(A, And(Nand(A, C), B));  in simplifyTernarylogic()
1483       Res = Or(Nand(A, B), C);  in simplifyTernarylogic()
1569       Res = Nand(Nand(A, B), C);  in simplifyTernarylogic()
1577       Res = Nand(Xor(A, B), C);  in simplifyTernarylogic()
1589       Res = Xor(A, And(Nand(A, B), C));  in simplifyTernarylogic()
1609       Res = Or(Nand(A, C), B);  in simplifyTernarylogic()
1649       Res = Xor(Xor(A, B), Nand(Nand(A, B), C));  in simplifyTernarylogic()
1672       Res = Nand(A, Nor(B, C));  in simplifyTernarylogic()
1703       Res = Or(A, Nand(B, C));  in simplifyTernarylogic()
1718       Res = Nand(Nor(A, C), B);  in simplifyTernarylogic()
1725       Res = Nand(Nor(A, B), C);  in simplifyTernarylogic()