Lines Matching defs:Nand

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