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 Analysis IsLinearFunction IsSelfAntiDualFunction IsUnateFunction And Binary List BCD StringToBinaryNumber TwoComplement binaryioset Convert Diagram Dimacs LogicScript logicvardef() logicvardef long Nor Not MantissaToPositiveNumber Radixes One Backwardly StateVariables StateTransitionBasedly HuffmanMealy string() Zero