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
PermuteLogicFunction IsBiUnateFunction IsEqual IsPositiveFunction IsThresholdFunction IsUnateFunctionTo BCD BCDEx3 binary ToOrAnd ToNotFunction Diagram Eq Equiv logicvardef() Nor LeastSignificantDigit real() real ShortestInputsForDistinguishTwoStates StateTransitionBasedly CreateCompactTable Compatibility ROBDD Full string() GetNegativeLogicFunction AdjustLogicVariableCount SemanticEval Zero