Convert.ToOrAnd
Back to table
/*
Logic-Function-Analysis
Convert.ToOrAnd
[OrAnd g]=Convert.ToOrAnd(LogicFunction f);
f : a logic function
g : a logic function in the OrAnd form.
Convert the first sub logic function into the OrAnd form.
*/
//-------------------------------------------------------------------
// examples
[f]=AndOr()
{
1,-2;
-1,2;
}
[g]=Convert.ToOrAnd(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Advanced MatchLogicFunction IsBlankFunction IsCovering IsInverse IsSymmetricFunction List GrayCode StringToBinaryNumber TwoComplement binaryioset bool() Dimacs logicvardef() logicvardef minterm Not MantissaToPositiveInteger One OutputAndStateBasedly Compatibility FastVerificationData StateTransition CreateFromLogicFunctions GetNegativeLogicFunction CreateDummyLogicFunction Normalization ShrinkLogicFunction var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.