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
MatchLogicFunction IsBiUnateFunctionTo IsCovering IsInverse List GrayCode TwoComplement Convert ToSOP ToXORP Dimacs Email Minus PositiveIntegerToMantissa object One real Save AutoAssignInputAndStateVariables Forwardly OutputAndStateBasedly Implementation Simplification Compatibility string() TruthTable AdjustLogicVariableCount Normalization var() Zero