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
IsEqual IsInverse IsPositiveFunction IsZeroFunction And Binary FromBinary MaxValue binary binaryioset() binaryioset bool() ToDualFunction ToROBDD ToTruthTable list() Nand PositiveIntegerToMantissa To2LayerNor To2LayerAndOr Sequential AutoAssignInputAndStateVariables ToFeedbackSystem Simplification Compatibility SimpleInner string GetNegativeLogicFunction XORP Zero