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
MatchLogicFunction Analysis IsBiUnateFunctionTo IsEqual IsNegativeUnateFunctionTo IsSymmetricFunctionTo List BCD OneComplement TwoComplement bool ToROBDD Dimacs Email logicvardef() MantissaToPositiveInteger object One OrAnd PermutationMatrix Print To2LayerOrAnd To2LayerAndOr ToFeedbackSystem ShannonTree BestVariableOrder Canonical string() IndependentBase Zero