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
Analysis IsInverse IsLinearFunction IsNegativeUnateFunctionTo IsSelfDualFunction IsSymmetricFunctionTo ToBinary NineComplement binaryioset() ToNotFunction DigitalSystem Email Equiv FeedbackSystem Imply long minterm object() One Or ShortestInputsForTransition Forwardly StateTransitionBasedly CreateCompactTable ShannonTree GetNegativeLogicFunction RandomGenerate CreateDummyLogicFunction var() Zero