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
Advanced IsBiUnateFunctionTo IsEqual IsSelfAntiDualFunction IsSymmetricFunctionTo IsThresholdFunction IsUnateFunction And AndXor MaxValue BCDEx3 OneComplement binaryioset() bool ToPOS ToShannonTree Dimacs Equiv Count MantissaToPositiveDecimal PermutationMatrix Realization TransitionSeries OutputAndStateBasedly Compatibility BestVariableOrder StateTransition ComputeDONTCARE ShrinkLogicFunction Zero