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