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
IsBiUnateFunctionTo IsInverse IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction IsSelfAntiDualFunction And AbsoluteExpression PureBinary bool ToAndXor ToSOP DiagramGateName Imply list() Minus Nor Not One Print Realization SOP Solve StateVariables Implementation FastVerificationData DontCare EnlargeLogicFunction Substitute Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.