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
IsInverse IsMonotonicFunction IsParityFunction IsSymmetricFunction AndOr AndXor AbsoluteExpression GrayCode ToNotFunction ToTruthTable ToXORP DigitalSystem Imply NumberSystem object SOP ShortestInputsForTransition Backwardly ToFeedbackSystem Implementation ShannonTree MultiCover string TruthTable CreateFromLogicFunctions GetNegativeLogicFunction GetSubTable ComputeFunctionOrder Normalization Zero