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
IsBlankFunction IsInverse IsSymmetricFunction ToAndOr List TwoComplement ToVariableInvertedFunction Dimacs minterm() Minus Nor MantissaToPositiveNumber object() One OrAnd To2LayerOrAnd ToFullAnd SAT MaxSAT TransitionSeries Assign CreateCompactTable FastVerificationData DontCare GetPositiveLogicFunction GetSubTable AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction Zero