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