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





Analysis IsEqual IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSelfAntiDualFunction And binary() FromBinary StringToBinaryNumber binaryioset bool ToDualFunction ToPOS ToXORP Dimacs Eq long() NumberSystem RadixToIndex Or POS real() To2LayerAndOr TransitionSeries FastVerificationData Canonical StateDeviceName TruthTable GetSubTable Zero

Search This Website :

 
Buy website traffic cheap