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 IsBiUnateFunction IsBiUnateFunctionTo IsOneFunction IsSymmetricFunction IsSymmetricFunctionTo IsZeroFunction BCDEx3 ToAndXor ToDualFunction FeedbackSystem list() Get Radixes real Realization ToFullAnd MaxSAT Solve TransitionSeries Backwardly ToFeedbackSystem CreateCompactTableWithFullSimplification HuffmanMealy BestVariableOrder Canonical DontCare string() GetPositiveLogicFunction Zero