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
Analysis IsPositiveFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo FromBinary ToBinary StringToBinaryNumber ToOrAnd ToVariableInvertedFunction ExcitationTable logicvardef() long() Nor NumberSystem PositiveNumberToMantissa POS real To2LayerAndXor ToFullAnd Backwardly Forwardly To2layerOrAnd Simplification ShannonTree Balanced SimpleCover ComputeFunctionOrder CreateDummyLogicFunction Xor Zero