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 IsLinearFunction IsMonotonicFunction AndXor FromBinary BCD PureBinary TwoComplement bool() ToDualFunction ToVariableInvertedFunction ToXORP Get Nand PositiveNumberToMantissa POS Print ToFullAnd Backwardly StateVariables BestVariableOrder DontCare StateDeviceName string TimingChart GetNegativeLogicFunction ComputeFunctionOrder ShrinkLogicFunction XORP Zero