asked on # Logic question

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?

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?

Math / Science

i dont understand the phrase "left over another binary operator". can you please explain this to me. also by "always hold" do you mean thatx (=>) (y (/\) z) will equal the same as (x (=>) y) (/\) (x (=>) z).

Thank you

Thank you

View this solution by signing up for a free trial.

Members can start a 7-Day free trial and enjoy unlimited access to the platform.

Does it always hold?

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