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
MatchLogicFunction Analysis IsSymmetricFunction IsThresholdFunction AndXor FromBinary PureBinary StringToBinaryNumber ToVariableInvertedFunction ToXORP Eq ExcitationTable list() Load minterm LeastSignificantDigit OrAnd Print To2LayerOrAnd To2LayerAndOr ShortestInputsForTransition TransitionSeries StateTransitionBasedly CreateCompactTable Compatibility StateDeviceName ComputeDONTCARE EnlargeLogicFunction var Zero