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 IsSelfAntiDualFunction IsSymmetricFunctionTo IsZeroFunction AbsoluteExpression FromBinary ToBinary OneComplement ToOrAnd ToROBDD logicvardef() RadixToIndex SOP To2LayerNand SAT MaxSAT ShortestInputsForTransition AutoAssignInputAndStateVariables InputVariables StateVariables CreateCompactTable Compatibility Balanced MultiCover string() string TruthTable GetNegativeLogicFunction ComputeFunctionOrder Zero