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 IsMonotonicFunction IsOneFunction IsParityFunction Binary MaxValue OneComplement binaryioset() ToOrAnd ToShannonTree Load long() minterm NumberSystem Radixes real Realization SAT ShortestInputsForTransition TransitionSeries ToStateTransitionTable GetExcitationTable To2layerOrAnd HuffmanMealy StateDeviceName StateTransition TimingChart CreateDummyLogicFunction var Zero