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 IsBlankFunction IsInverse AndOr binary() Binary FromBinary BCD GrayCode binaryioset() ToDiagram ToDualFunction ToTruthTable Dimacs Equiv Load logicvardef Minus Nor PositiveIntegerToMantissa SOP AutoAssignInputAndStateVariables CreateCompactTable Implementation Shannon SimpleInner StateTransition CreateDummyLogicFunction IndependentBase Zero