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