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
Advanced IsBiUnateFunction IsBlankFunction IsPositiveFunction IsPositiveUnateFunctionTo AndOr FromBinary ToBinary OneComplement binary ToAndXor Email FeedbackDiagram Count long PositiveIntegerToMantissa To2LayerNor To2LayerOrAnd Save ShortestInputsForTransition AutoAssignInputAndStateVariables Forwardly OutputAndStateBasedly Implementation Simplification MultiCover GetSubTable CreateDummyLogicFunction SemanticEval Zero