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
MatchLogicFunction PermuteLogicFunction IsSymmetricFunctionTo ToAndOr FromBinary List TwoComplement binary ToPOS ToVariableInvertedFunction DiagramGateName ExcitationTable Count long() Not LeastSignificantDigit PositiveNumberToMantissa Realization ToFullAnd SAT Solve Assign Backwardly StateVariables CreateCompactTableWithFullSimplification HuffmanMealy FastVerificationData DontCare string Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.