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
PermuteLogicFunction IsOneFunction IsUnateFunctionTo BCD StringToBinaryNumber ToNotFunction ToPOS ToVariableInvertedFunction logicvardef long() minterm NumberSystem RadixFromIndex object real() Realization SOP SAT Sequential ShortestInputsForDistinguishTwoStates OutputAndStateBasedly Compatibility HuffmanMealy Balanced FastVerificationData StateTransition AdjustLogicVariableCount ShannonExpansion var Zero