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





IsSymmetricFunctionTo BDD NineComplement binary binaryioset ToOrAnd ToTruthTable Email Minus LeastSignificantDigit MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa Realization To2LayerOrAnd SOP MaxSAT AutoAssignInputAndStateVariables Forwardly StateVariables GetExcitationTable To2layerOrAnd Full Shannon string() CreateFromLogicFunctions ComputeFunctionOrder EnlargeLogicFunction var() Zero

Search This Website :

 
Buy website traffic cheap