Convert.AndXor.AddXorTerm
Back to table
/*
Logic-Function-Analysis
Convert.AndXor.AddXorTerm
[AndXor g]=Convert.AndXor.AddXorTerm(AndXor f, LogicFunction g);
Add logic-term to an AndXor.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction IsZeroFunction BDD OneComplement ToDualFunction ToXORP Email logicvardef() logicvardef MantissaToPositiveDecimal MantissaToPositiveInteger PositiveIntegerToMantissa PositiveNumberToMantissa RadixFromIndex OrAnd SOP Sequential InputVariables GetExcitationTable ToDigitalSystem Balanced string() TruthTable GetNegativeLogicFunction Substitute var() Zero