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
IsBiUnateFunctionTo IsInverse IsSelfDualFunction IsSymmetricFunction AndXor BDD BCDEx3 GrayCode bool ToAndXor ToVariableInvertedFunction ExcitationTable list() LeastSignificantDigit MantissaToPositiveInteger PositiveNumberToMantissa PermutationMatrix To2LayerOrAnd To2LayerAndXor Save Sequential ShortestInputsForTransition ToStateTransitionTable ShannonTree DontCare Shannon RandomGenerate var XORP Zero