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 IsPositiveUnateFunctionTo IsUnateFunctionTo IsZeroFunction AndXor ToAndOr StringToBinaryNumber binary ToAndXor ToXORP ExcitationTable long() minterm Or real() SAT StateVariables OutputAndStateBasedly CreateCompactTable BestVariableOrder Fast Shannon string GetPositiveLogicFunction RandomGenerate Utility ComputeFunctionOrder CreateDummyLogicFunction Normalization Zero