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
IsPositiveFunction AndXor AbsoluteExpression FromBinary BinaryNumberToString PureBinary ToOrAnd ToDualFunction ToSOP Dimacs Imply Get logicvardef RadixToIndex object One OrAnd To2LayerAndXor ToFullAnd SAT TransitionSeries GetExcitationTable ToDigitalSystem Simplification BestVariableOrder StateDeviceName CreateFromLogicFunctions RandomGenerate IndependentBase Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.