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

Search This Website :

 
Buy website traffic cheap