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
IsBlankFunction IsSymmetricFunction IsSymmetricFunctionTo IsUnateFunction FromBinary MinValue NineComplement PureBinary StringToBinaryNumber binaryioset() DigitalSystem Email Eq Count MostSignificantDigit PositiveNumberToMantissa object Or PermutationMatrix POS Realization To2LayerOrAnd To2LayerNand TransitionSeries AutoAssignInputAndStateVariables Backwardly CreateCompactTableWithFullSimplification Balanced GetDontCareLogicFunction Zero