Nand
Back to table
/*
Logic-Function-Analysis
Nand
[LogicFunction g]=Nand(LogicFunction F1, ...);
F1 : a list of logic function
g : a logic function
Compute the NAND operator: g=Nand(F1,F2,...).
The NAND operator is equal to Not(And(...)).
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
Q=AndOr(){ 2; }
f=Nand(P,Q);
Print(P,Q,f);
//-------------------------------------------------------------------
// result
AndOr Binary ToBinary BinaryNumberToString Convert ToAndXor ToNotFunction ToTruthTable DigitalSystem Dimacs Eq ExcitationTable Imply logicvardef Minus MantissaToPositiveNumber PositiveDecimalToMantissa object PermutationMatrix Print To2LayerNor BestVariableOrder Full Shannon SimpleCover GetSubTable RandomGenerate Normalization var() Zero