Convert.ToAndXor
Back to table
/*
Logic-Function-Analysis
Convert.ToAndXor
[AndXor g]=Convert.ToAndXor(LogicFunction f);
f : a logic function
g : a logic function in the AndXor form
Convert the first sub logic function into the AndXor form.
*/
//-------------------------------------------------------------------
// examples
[f]=AndOr()
{
1,-2;
-1,2;
}
[g]=Convert.ToAndXor(f);
Print(f,g);
//-------------------------------------------------------------------
// 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