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 IsUnateFunction ToBinary TwoComplement bool ToOrAnd ToNotFunction ToPOS DiagramGateName FeedbackSystem Imply minterm() Nand PositiveNumberToMantissa Or Print To2LayerAndOr To2LayerNand TransitionSeries Assign FastVerificationData Full SimpleCover StateTransition AdjustLogicVariableCount IndependentBase Normalization SemanticEval ShannonExpansion Zero

Search This Website :

 
Buy website traffic cheap