AndXor
Back to table
[f]=AndXor(1,2,3)
{
1,2,3;
}
IsBiUnateFunctionTo IsInverse IsMonotonicFunction IsNegativeUnateFunctionTo IsPositiveFunction IsSelfAntiDualFunction And AbsoluteExpression PureBinary bool ToAndXor ToSOP DiagramGateName Imply list() Minus Nor Not One Print Realization SOP Solve StateVariables Implementation FastVerificationData DontCare EnlargeLogicFunction Substitute Zero