minterm()
Back to table
/*
BasicType
minterm()
[minterm() f]=function(minterm() g);
A list of minterms
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsEqual IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression AddXorTerm ToROBDD ToVariableInvertedFunction FeedbackSystem Imply logicvardef() MantissaToPositiveInteger RadixFromIndex To2LayerOrAnd SAT AutoAssignInputAndStateVariables Simplification Compatibility HuffmanMealy Full StateTransition TruthTable SemanticEval ShannonExpansion Zero