Convert.ToVariableInvertedFunction
Back to table
/*
Logic-Function-Analysis
Convert.ToVariableInvertedFunction
[LogicFunction g]=Convert.ToVariableInvertedFunction(LogicFunction f);
f : a logic function
g : a logic function
Compute the VARIABLE-INVERTED function.
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1;
-2;
}
g=Convert.ToVariableInvertedFunction(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Advanced IsNegativeUnateFunctionTo IsSelfAntiDualFunction IsThresholdFunction List TwoComplement bool() bool DiagramGateName FeedbackDiagram FeedbackSystem list() Minus PositiveDecimalToMantissa OrAnd real() real ToFeedbackSystem CreateCompactTable Implementation To2layerOrAnd FastVerificationData DontCare GetDontCareLogicFunction GetPositiveLogicFunction AdjustLogicVariableCount ShannonExpansion var() var Zero