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
AndXor MinValue BCDEx3 ToOrAnd ToTruthTable Diagram DiagramGateName Load logicvardef Minus RadixFromIndex Or Realization To2LayerNor To2LayerAndXor Solve Save ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables CreateCompactTableWithFullSimplification To2layerOrAnd Compatibility FullTable Full string() AdjustLogicVariableCount ShannonExpansion Substitute var() Zero