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
IsLinearFunction IsPositiveFunction IsZeroFunction ToAndOr MaxValue BCD binary bool() ToNotFunction ToShannonTree ToTruthTable Eq ExcitationTable Nand NumberSystem PositiveDecimalToMantissa PermutationMatrix SAT Solve AutoAssignInputAndStateVariables InputVariables OutputAndStateBasedly ToFeedbackSystem HuffmanMealy Full StateDeviceName GetPositiveLogicFunction SemanticEval Xor Zero