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