2
$\begingroup$

I have this truth table, and I must find the right formula. (T = TRUE , V = FALSE)

Where should I start with this?

I first wrote out everything :

A&B&C&D v A&B&C&-D v -A&-B&C&-D etc...

But then I was told, that I can solve this even easier. Any suggetions?

EDIT: the last column A is the truth value of the correct formula.

enter image description here

  • 0
    I would title the last column something besides $A$ as you have already used $A$. Say we call it $F$. You might make a column of the truth value of $F \iff C$ and find some inspiration.2011-09-28
  • 1
    http://en.wikipedia.org/wiki/Karnaugh_map2011-09-28
  • 0
    Related: http://math.stackexchange.com/questions/10392/how-to-find-the-logical-formula-for-a-given-truth-table2011-09-28
  • 0
    If you compare the desired output to $A \iff C$ you are getting close.2011-09-28
  • 0
    I got $(a\land c)\lor (a\land \neg b\land d)\lor (\neg a\land b\land \neg c)\lor (\neg a\land b\land \neg d)\lor (\neg a\land \neg c\land \neg d)$ just in case you want to control your result.2011-09-28
  • 0
    @Listing : hehe Im not sure, I made the Karnaugh map, but don't understand how to solve it2011-09-28
  • 0
    @Jaanus,http://en.wikipedia.org/wiki/Karnaugh_map#Solution2011-09-29

1 Answers 1

2

Solution of Karnaugh map:

enter image description here

$(A\land C)\lor (A\land \neg B\land D)\lor (\neg A\land B\land \neg C)\lor (\neg A\land B\land \neg D)\lor (\neg A\land \neg C\land \neg D)$

  • 0
    Why does 0110 not connect with 1110? I connected them in my map...can you explain? Is my solution wrong, or there are two possibilities?2011-09-29
  • 0
    What my solution was : A&C v A&-B&D v B&C&-D v -A&-B&-D v -A&B&-C2011-09-29
  • 0
    @Jaanus,Yes there are two possibilities,both correct...but you have to use only one of them in final expression2011-09-29
  • 0
    So my solution is also correct, by the looks of it?2011-09-29
  • 0
    @Jaanus,it should be $B\land C\land \neg D$ instead $B\land \neg C\land \neg D$2011-09-29
  • 0
    @Jaanus,I didn't see well that you wrote correct expression so your solution is ok2011-09-29