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





Advanced IsLinearFunction IsMonotonicFunction AndXor FromBinary BCD PureBinary TwoComplement bool() ToDualFunction ToVariableInvertedFunction ToXORP Get Nand PositiveNumberToMantissa POS Print ToFullAnd Backwardly StateVariables BestVariableOrder DontCare StateDeviceName string TimingChart GetNegativeLogicFunction ComputeFunctionOrder ShrinkLogicFunction XORP Zero

Search This Website :

 
Buy website traffic cheap