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





Advanced IsEqual IsLinearFunction IsOneFunction IsParityFunction IsSelfDualFunction AndOr List MinValue binary bool() AddXorTerm ToROBDD Eq FeedbackDiagram Get logicvardef minterm() Nor MantissaToPositiveDecimal MantissaToPositiveNumber PositiveIntegerToMantissa object real To2LayerAndOr Compatibility SimpleInner CreateFromLogicFunctions Normalization Zero

Search This Website :

 
Buy website traffic cheap