minterm
Back to table
/*
BasicType
minterm
[minterm f]=function(minterm g);
A list of logic-variable with user-defined relation like 'and'|'or' etc.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsParityFunction IsPositiveUnateFunctionTo IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression ToBinary PureBinary ToAndXor ToROBDD DigitalSystem Get PositiveDecimalToMantissa RadixToIndex object() real() Realization SOP Save ShortestInputsForTransition OutputAndStateBasedly CreateCompactTable Implementation FastVerificationData GetNegativeLogicFunction RandomGenerate EnlargeLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.