Posted on 2012-03-15
Hi, i have a logic worksheet. I am have trouble with this question:
A binary operator (+) distributes from the left overt another binary operator (x) precisely when the equation x (+) (y (x) z) = (x (+) y) (x) (x (+) z) always holds. Using a truth table, check the following (the answer should include the truth table as well as its interpretation w.r.t. the question):
(a) Does => distribute from the left over /\ ?
(b) Does /\ distribute from the left over => ?
could someone please work me through the solution please?