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

Search This Website :

 
Buy website traffic cheap