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 PermuteLogicFunction IsEqual IsInverse IsParityFunction IsSymmetricFunction BDD ToAndOr ToOrAnd ToVariableInvertedFunction Eq Imply list() Load logicvardef() NumberSystem PositiveDecimalToMantissa PositiveNumberToMantissa One Solve GetExcitationTable ToDigitalSystem ROBDD MultiCover Shannon StateDeviceName TruthTable Utility var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.