Convert.AndOr.ToAndXor
Back to table
/*
Logic-Function-Analysis
Convert.AndOr.ToAndXor
[AndXor g]=Convert.AndOr.ToAndXor(AndOr f);
f : a logic function in the AndOr form
g : a logic function in the AndXor form
Convert a logic object from AndOr to AndXor.
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1,-2;
-1,2;
}
g=Convert.AndOr.ToAndXor(f);
Print(f,g);
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunctionTo IsSelfDualFunction IsThresholdFunction IsUnateFunctionTo bool ToPOS FeedbackDiagram Load NumberSystem MantissaToPositiveDecimal real() real To2LayerNor Solve ShortestInputsForDistinguishTwoStates TransitionSeries Assign InputVariables ToFeedbackSystem Implementation Compatibility FastVerificationData ROBDD DontCare GetNegativeLogicFunction CreateDummyLogicFunction EnlargeLogicFunction XORP Zero