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
IsEqual IsLinearFunction IsMonotonicFunction IsPositiveFunction IsPositiveUnateFunctionTo IsThresholdFunction IsUnateFunction IsUnateFunctionTo GrayCode AddXorTerm ToTruthTable Equiv LogicScript minterm MantissaToPositiveDecimal One To2LayerNor Solve Save Sequential StateVariables CreateCompactTable ROBDD TimingChart Utility AdjustLogicVariableCount CreateDummyLogicFunction ShannonExpansion var Zero