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 IsCovering IsSymmetricFunctionTo List TwoComplement binaryioset() AddXorTerm ToNotFunction ToROBDD Equiv NumberSystem PositiveDecimalToMantissa PositiveIntegerToMantissa Radixes RadixToIndex PermutationMatrix SOP ToFullAnd Forwardly StateVariables CreateCompactTable Simplification FullTable Shannon StateTransition TimingChart TruthTable IndependentBase Substitute Zero