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
IsCovering IsInverse IsLinearFunction IsMonotonicFunction AndXor MaxValue MinValue BCDEx3 PureBinary ToROBDD DigitalSystem ExcitationTable minterm MantissaToPositiveInteger RadixToIndex object() One OrAnd To2LayerNand Solve ShortestInputsForTransition Balanced MultiCover string GetDontCareLogicFunction GetPositiveLogicFunction Utility ComputeDONTCARE IndependentBase Zero