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
MatchLogicFunction Analysis IsBiUnateFunctionTo IsLinearFunction IsOneFunction IsThresholdFunction binary() List ToBinary BCDEx3 PureBinary TwoComplement ToVariableInvertedFunction Eq Equiv long Not PositiveIntegerToMantissa OutputAndStateBasedly ToStateTransitionTable GetExcitationTable Compatibility ROBDD Shannon SimpleInner StateDeviceName CreateDummyLogicFunction Normalization SemanticEval Zero