Analysis.IsEqual
Back to table
/*
Logic-Function-Analysis
Analysis.IsEqual
[bool result]=Analysis.IsEqual(LogicFunction f, LogicFunction g);
f : a logic function
g : a logic function
result : true | false
Check whether $f=g$, where $f \ge g$ and $f \le g$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=AndXor()
{
1,2,-3;
1,-2,3;
-1,2,3;
-1,-2,-3;
}
[h]=Analysis.IsEqual(f,g);
Print("IsEqual?", h);
//-------------------------------------------------------------------
// result
IsEqual IsInverse IsLinearFunction IsPositiveFunction IsSelfDualFunction Binary AbsoluteExpression List PureBinary binary Diagram Dimacs Imply Load logicvardef MantissaToPositiveInteger MostSignificantDigit SOP ToFullAnd OutputAndStateBasedly GetExcitationTable Simplification ROBDD Full SimpleInner Utility AdjustLogicVariableCount ComputeDONTCARE CreateDummyLogicFunction Zero