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
IsBlankFunction IsEqual IsInverse IsOneFunction IsPositiveUnateFunctionTo IsSelfDualFunction And ToAndOr binary() OneComplement Convert ToDualFunction ToROBDD ToSOP Dimacs Radixes To2LayerNand Solve Sequential ShortestInputsForDistinguishTwoStates Backwardly ToStateTransitionTable To2layerOrAnd FullTable Full SimpleCover StateDeviceName TruthTable SemanticEval Zero