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





IsLinearFunction IsParityFunction IsPositiveUnateFunctionTo IsSelfDualFunction And BDD TwoComplement ToAndXor Eq Equiv ExcitationTable FeedbackSystem Load LogicScript logicvardef SOP To2LayerAndXor ToStateTransitionTable CreateCompactTable CreateCompactTableWithFullSimplification GetExcitationTable ToDigitalSystem Compatibility MultiCover Shannon TruthTable AdjustLogicVariableCount CreateDummyLogicFunction var Zero

Search This Website :

 
Buy website traffic cheap