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
IsSelfDualFunction ToBinary BCD binaryioset Convert AddXorTerm ToDualFunction ToTruthTable Dimacs FeedbackSystem Imply list() Get logicvardef LeastSignificantDigit Print ShortestInputsForTransition Assign StateTransitionBasedly ToStateTransitionTable CreateCompactTableWithFullSimplification Simplification Balanced MultiCover SimpleInner string TimingChart Utility ComputeFunctionOrder Zero