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