logicvardef
Back to table
/*
BasicType
logicvardef
[logicvardef f]=function(logicvardef g);
Used to define a logic-value of a logic-variable. ie f=x1*(logicvardef(x2,DontCare))*x3, in this case for indicates the x2 is a DontCare variable.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsOneFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo AndOr Binary MaxValue GrayCode binary ToAndXor ToOrAnd ToSOP Equiv FeedbackDiagram Count minterm Minus Not MantissaToPositiveDecimal MantissaToPositiveInteger PositiveIntegerToMantissa MaxSAT TransitionSeries Assign OutputAndStateBasedly DontCare GetSubTable Normalization var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.