Alternative computation of binary implications