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 PermuteLogicFunction IsBiUnateFunctionTo IsCovering IsSymmetricFunction AndOr MaxValue binary ToSOP DigitalSystem Eq long() minterm() Nand PositiveIntegerToMantissa PositiveNumberToMantissa object Or To2LayerAndXor ToFullAnd Solve CreateCompactTable CreateCompactTableWithFullSimplification Compatibility Balanced BestVariableOrder Fast SimpleCover Normalization Zero