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 IsLinearFunction IsParityFunction IsSelfDualFunction MaxValue BinaryNumberToString binaryioset() ToDualFunction DigitalSystem Dimacs FeedbackSystem long NumberSystem MantissaToPositiveDecimal PositiveNumberToMantissa Print To2LayerNor SAT Sequential ShortestInputsForTransition OutputAndStateBasedly Compatibility Fast string EnlargeLogicFunction Normalization ShrinkLogicFunction var() XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.