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
IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr BCD TwoComplement Equiv FeedbackDiagram long minterm Minus Not LeastSignificantDigit MantissaToPositiveDecimal PositiveDecimalToMantissa ShortestInputsForDistinguishTwoStates StateVariables CreateCompactTableWithFullSimplification Implementation Balanced FastVerificationData Canonical string GetNegativeLogicFunction Utility ComputeDONTCARE CreateDummyLogicFunction EnlargeLogicFunction Normalization Zero