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
Advanced IsBlankFunction IsInverse IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsThresholdFunction IsUnateFunction ToAndOr MaxValue OneComplement binaryioset AddXorTerm ToDiagram ToPOS ToROBDD ToXORP Get long object real SOP Save Forwardly HuffmanMealy ShannonTree FastVerificationData Canonical StateTransition EnlargeLogicFunction Zero