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
IsBiUnateFunction IsInverse IsThresholdFunction ToBinary GrayCode binaryioset ToOrAnd ToDualFunction ToPOS DiagramGateName list() logicvardef long() minterm Nand Print real Realization SOP StateTransitionBasedly Compatibility FastVerificationData Full MultiCover Shannon TruthTable RandomGenerate AdjustLogicVariableCount ShrinkLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.