A binary operator (=>) distributes from the left overt another binary operator (/\) precisely when the equation x (=>) (y (/\) z) = (x (=>) y) (/\) (x (=>) z) always holds.

Does it always hold?

Can you demonstrate that with a truth table for all possible values of x, y, and z.

Does it always hold?

Can you demonstrate that with a truth table for all possible values of x, y, and z.