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
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
IsSymmetricFunction IsUnateFunction IsUnateFunctionTo AndOr ToDiagram ToDualFunction ToNotFunction ToSOP DigitalSystem Equiv Imply Get LogicScript LeastSignificantDigit MostSignificantDigit PositiveDecimalToMantissa object OrAnd To2LayerNand ToFullAnd Save Backwardly CreateCompactTableWithFullSimplification ShannonTree DontCare Shannon EnlargeLogicFunction SemanticEval Substitute Zero