Want to win a PS4? Go Premium and enter to win our High-Tech Treats giveaway. Enter to Win

x
?
Solved

Logic question

Posted on 2012-03-15
3
Medium Priority
?
329 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 2000 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

Independent Software Vendors: We Want Your Opinion

We value your feedback.

Take our survey and automatically be enter to win anyone of the following:
Yeti Cooler, Amazon eGift Card, and Movie eGift Card!

Question has a verified solution.

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

A Guide to the PMT, FV, IPMT and PPMT Functions In MS Excel we have the PMT, FV, IPMT and PPMT functions, which do a fantastic job for interest rate calculations.  But what if you don't have Excel ? This article is for programmers looking to re…
Introduction On a scale of 1 to 10, how would you rate our Product? Many of us have answered that question time and time again. But only a few of us have had the pleasure of receiving a stack of the filled out surveys and being asked to do somethi…
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.
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…

650 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