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

Search This Website :

 
Buy website traffic cheap