Solved

Logic question

Posted on 2012-03-15
3
322 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

Free Tool: Postgres Monitoring System

A PHP and Perl based system to collect and display usage statistics from PostgreSQL databases.

One of a set of tools we are providing to everyone as a way of saying thank you for being a part of the community.

Question has a verified solution.

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

Suggested Solutions

Title # Comments Views Activity
How to calculate specific humidity of air from pressure, temperature and relative humidity ? 2 40
Discrete Probability 2 80
Graph function 4 93
Auto Adjust Percent rate 5 56
We are taking giant steps in technological advances in the field of wireless telephony. At just 10 years since the advent of smartphones, it is crucial to examine the benefits and disadvantages that have been report to us.
When we purchase storage, we typically are advertised storage of 500GB, 1TB, 2TB and so on. However, when you actually install it into your computer, your 500GB HDD will actually show up as 465GB. Why? It has to do with the way people and computers…
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…
I've attached the XLSM Excel spreadsheet I used in the video and also text files containing the macros used below. https://filedb.experts-exchange.com/incoming/2017/03_w12/1151775/Permutations.txt https://filedb.experts-exchange.com/incoming/201…

828 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