Solved

Logic question

Posted on 2012-03-15
3
321 Views
Last Modified: 2012-03-19
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?
0
Comment
Question by:jillette
  • 2
3 Comments
 
LVL 84

Expert Comment

by:ozo
ID: 37727889
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.
0
 

Author Comment

by:jillette
ID: 37737756
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
0
 
LVL 84

Accepted Solution

by:
ozo earned 500 total points
ID: 37739783
The above statement defines what "distributes from the left" means.
The question does not require you to understand the the distinction between left and right,
but to illustrate, if it had been right instead of left, it might have said

A binary operator (+) distributes from the right over another binary operator (x) precisely when the equation  (y (x) z) (+) x = (y (+) x) (x) (z (+) x) always holds.

Always holds means that the equation is always true.
= means will equal the same as, so
A binary operator (=>) distributes from the left over (/\) if
x (=>) (y (/\) z) will always equal the same as (x (=>) y) (/\) (x (=>) z).
0

Featured Post

Courses: Start Training Online With Pros, Today

Brush up on the basics or master the advanced techniques required to earn essential industry certifications, with Courses. Enroll in a course and start learning today. Training topics range from Android App Dev to the Xen Virtualization Platform.

Question has a verified solution.

If you are experiencing a similar issue, please ask a related question

Article by: Nicole
This is a research brief on the potential colonization of humans on Mars.
Lithium-ion batteries area cornerstone of today's portable electronic devices, and even though they are relied upon heavily, their chemistry and origin are not of common knowledge. This article is about a device on which every smartphone, laptop, an…
Although Jacob Bernoulli (1654-1705) has been credited as the creator of "Binomial Distribution Table", Gottfried Leibniz (1646-1716) did his dissertation on the subject in 1666; Leibniz you may recall is the co-inventor of "Calculus" and beat Isaac…
Finds all prime numbers in a range requested and places them in a public primes() array. I've demostrated a template size of 30 (2 * 3 * 5) but larger templates can be built such 210  (2 * 3 * 5 * 7) or 2310  (2 * 3 * 5 * 7 * 11). The larger templa…

786 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question