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
IsPositiveFunction IsThresholdFunction IsZeroFunction ToAndOr ToBinary binaryioset Convert ToAndXor AddXorTerm ToDualFunction ToPOS ToXORP DiagramGateName ExcitationTable object MaxSAT Assign To2layerOrAnd FastVerificationData ROBDD Full Shannon StateTransition string RandomGenerate Utility Normalization ShannonExpansion ShrinkLogicFunction Zero