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





IsOneFunction IsThresholdFunction AndOr Binary ToBinary binaryioset() bool ToOrAnd ToSOP ToVariableInvertedFunction ToXORP Eq Equiv LogicScript minterm() MostSignificantDigit PositiveDecimalToMantissa One OrAnd real() SOP Save StateTransitionBasedly ToStateTransitionTable string() GetDontCareLogicFunction RandomGenerate Utility SemanticEval Zero

Search This Website :

 
Buy website traffic cheap