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





IsCovering IsEqual IsPositiveUnateFunctionTo And PureBinary ToOrAnd ToVariableInvertedFunction long minterm MantissaToPositiveDecimal PositiveDecimalToMantissa PositiveIntegerToMantissa PositiveNumberToMantissa real() To2LayerOrAnd SOP To2LayerAndOr MaxSAT ShortestInputsForDistinguishTwoStates ShortestInputsForTransition ToStateTransitionTable Simplification FullTable SimpleInner GetDontCareLogicFunction GetSubTable IndependentBase Substitute var Zero

Search This Website :

 
Buy website traffic cheap