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

Search This Website :

 
Buy website traffic cheap