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 IsInverse IsMonotonicFunction IsSymmetricFunction BDD binary() binaryioset ToROBDD ToSOP Imply Not NumberSystem object() object POS real() To2LayerNor To2LayerOrAnd To2LayerAndOr To2LayerAndXor To2LayerNand Assign ShannonTree ROBDD DontCare Full TruthTable CreateFromLogicFunctions GetPositiveLogicFunction Zero