Solved

Logic question

Posted on 2012-03-15
3
324 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
[X]
Welcome to Experts Exchange

Add your voice to the tech community where 5M+ people just like you are talking about what matters.

  • Help others & share knowledge
  • Earn cash & points
  • Learn & ask questions
  • 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

Announcing the Most Valuable Experts of 2016

MVEs are more concerned with the satisfaction of those they help than with the considerable points they can earn. They are the types of people you feel privileged to call colleagues. Join us in honoring this amazing group of Experts.

Question has a verified solution.

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

Suggested Solutions

Title # Comments Views Activity
Data array of weights 2 63
Triangles - computing angles 7 68
Triangle - computing angles 3 75
How are Pi and the degrees in a circle related? 16 39
How to Win a Jar of Candy Corn: A Scientific Approach! I love mathematics. If you love mathematics also, you may enjoy this tip on how to use math to win your own jar of candy corn and to impress your friends. As I said, I love math, but I gu…
Foreword (May 2015) This web page has appeared at Google.  It's definitely worth considering! https://www.google.com/about/careers/students/guide-to-technical-development.html How to Know You are Making a Difference at EE In August, 2013, one …
This is a video describing the growing solar energy use in Utah. This is a topic that greatly interests me and so I decided to produce a video about it.
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…

732 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