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