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
IsBiUnateFunction IsEqual IsParityFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSymmetricFunction IsSymmetricFunctionTo And AndXor ToAndOr FromBinary PureBinary ToTruthTable Equiv long MantissaToPositiveNumber RadixToIndex OrAnd Realization To2LayerOrAnd To2LayerAndOr SAT CreateCompactTable BestVariableOrder FastVerificationData TruthTable RandomGenerate var XORP Zero