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
IsBiUnateFunctionTo IsUnateFunction IsUnateFunctionTo ToBinary binaryioset bool ToOrAnd ToROBDD ToShannonTree ToXORP DigitalSystem Dimacs FeedbackDiagram list() LeastSignificantDigit PositiveIntegerToMantissa RadixToIndex PermutationMatrix POS Forwardly StateTransitionBasedly CreateCompactTable ShannonTree Canonical DontCare TimingChart AdjustLogicVariableCount var XORP Zero