Lines Matching defs:Nand

696   auto Nand = [&](auto Lhs, auto Rhs) { return Not(And(Lhs, Rhs)); };
756       Res = Nor(A, Nand(B, C));
811       Res = Xor(Xor(A, B), And(Nand(A, B), C));
823       Res = And(Nand(A, B), Xnor(B, C));
847       Res = Nand(A, Or(B, C));
851       Res = Nor(Nand(A, C), B);
871       Res = Xor(A, Nand(Nand(A, B), C));
875       Res = And(Nand(A, B), Xor(B, C));
891       Res = And(Nand(A, B), C);
911       Res = Nand(A, Or(B, Not(C)));
930       Res = And(Xor(A, B), Nand(B, C));
942       Res = Nand(Or(A, C), B);
958       Res = Nand(Or(A, Not(C)), B);
973       Res = Nand(A, B);
977       Res = Nor(Nand(A, B), C);
989       Res = Xor(A, Nand(Nand(A, C), B));
1025       Res = And(Nand(A, C), B);
1037       Res = Nand(A, Nand(B, Not(C)));
1049       Res = And(Xor(A, C), Nand(B, C));
1068       Res = Nand(Or(A, B), C);
1091       Res = Nand(Or(A, Not(B)), C);
1099       Res = Nand(A, C);
1162       Res = Nand(A, Xnor(B, C));
1166       Res = And(A, Nand(B, C));
1178       Res = Nand(Nand(A, Not(C)), B);
1186       Res = Nand(Nand(A, Not(B)), C);
1194       Res = Nand(B, C);
1210       Res = Nand(Xnor(A, C), B);
1218       Res = Nand(Xnor(A, B), C);
1226       Res = Nand(And(A, B), C);
1258       Res = Xor(A, Nand(B, C));
1269       Res = And(Nand(A, Not(B)), C);
1277       Res = And(Nand(A, Not(C)), B);
1289       Res = Nand(A, Nand(B, C));
1305       Res = Xor(Nand(A, C), B);
1313       Res = Xor(Nand(A, B), C);
1349       Res = Xor(And(Xor(A, B), Nand(B, C)), C);
1353       Res = Nand(A, Xor(B, C));
1419       Res = And(A, Nand(B, Not(C)));
1431       Res = Nand(Nand(A, C), B);
1443       Res = Xor(And(Xor(A, B), Nand(A, C)), C);
1447       Res = Nand(Xor(A, C), B);
1467       Res = Xor(A, And(Nand(A, C), B));
1479       Res = Or(Nand(A, B), C);
1565       Res = Nand(Nand(A, B), C);
1573       Res = Nand(Xor(A, B), C);
1585       Res = Xor(A, And(Nand(A, B), C));
1605       Res = Or(Nand(A, C), B);
1645       Res = Xor(Xor(A, B), Nand(Nand(A, B), C));
1668       Res = Nand(A, Nor(B, C));
1699       Res = Or(A, Nand(B, C));
1714       Res = Nand(Nor(A, C), B);
1721       Res = Nand(Nor(A, B), C);