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
IsNegativeUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsSelfDualFunction IsSymmetricFunction BDD ToAndOr binary bool ToOrAnd ToNotFunction ToShannonTree ToSOP ToTruthTable ToXORP FeedbackSystem Nand PositiveDecimalToMantissa Or To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries OutputAndStateBasedly Balanced StateDeviceName GetNegativeLogicFunction Utility ShannonExpansion Zero