Not
Back to table
/*
Logic-Function-Analysis
Not
[LogicFunction g]=Not(LogicFunction F);
F : a logic function
g : a logic function
Compute the NOT operator: g=Not(F).
From the definition, this module only allows a single input.
*/
//-------------------------------------------------------------------
// examples
P=AndOr(){ 1; }
f=Not(P);
Print(P,f);
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsBiUnateFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsUnateFunctionTo IsZeroFunction AndXor Binary MinValue ToBinary bool Convert ToDualFunction ToPOS ToShannonTree FeedbackSystem Count Not PositiveNumberToMantissa Solve Sequential To2layerOrAnd HuffmanMealy Balanced BestVariableOrder GetDontCareLogicFunction RandomGenerate var() Xor Zero