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

搜索本網站 :

 
Buy website traffic cheap