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
PermuteLogicFunction IsBlankFunction IsCovering IsThresholdFunction IsUnateFunction ToAndOr AbsoluteExpression MinValue OneComplement bool ToSOP Eq Equiv list() long() minterm() PositiveNumberToMantissa RadixToIndex Realization InputVariables Forwardly OutputAndStateBasedly StateTransitionBasedly ToFeedbackSystem FastVerificationData ROBDD Shannon CreateDummyLogicFunction var Zero