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
IsLinearFunction IsPositiveUnateFunctionTo IsSymmetricFunction ToAndOr bool() Convert ToROBDD ToXORP Email Eq FeedbackDiagram Load logicvardef() Minus Not To2LayerNor SAT StateTransitionBasedly To2layerOrAnd Simplification Fast MultiCover SimpleInner TruthTable Normalization SemanticEval ShannonExpansion ShrinkLogicFunction var() Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.