Simple truth table, check if correct

Im having some trouble with a Simple truth table

the question is consider the following truth statement

~(PV~Q)Λ~Q ** Notion ~ = not , V = or , Λ = and

Questions

1. Express the above logic statement as a logic gates system.

2. write out the truth table fot the system

heres my take on numer two

P, Q, ~Q, PV~Q, ~(PV~Q)

0, 0, 1, 1, 0

0, 1, 0, 0, 1

1, 0, 1, 1, 0

1, 1, 0, 1, 0

can anyone confirm if this is correct?(Happy)

** edit of the layout came out not as i intended this doesn't seem to recognize more than one space after you submit, i have used a comma to show a different coloum

Re: Simple truth table, check if correct

Code:

`P Q ~Q P V ~Q ~(P V ~Q)`

0 0 1 1 0

0 1 0 0 1

1 0 1 1 0

1 1 0 1 0

This is correct, but it is a truth table for ~(P V ~Q), not ~(P V ~Q) Λ ~Q.

To preserve alignment, you can put text between the [code]...[/code] tags. The text between these tags is typeset using a fixed-width font.

Re: Simple truth table, check if correct

Oh right, thanks for that , i seem to have it a bit confused then, what would the headings for ~(P V ~Q) Λ ~Q truth table be then ?

Re: Simple truth table, check if correct

Quote:

Originally Posted by

**ronanbrowne88** what would the headings for ~(P V ~Q) Λ ~Q truth table be then ?

By "headings", do you mean the table's first line? It should be "P Q (~(P V ~Q) Λ ~Q)", i.e., the table should have three columns. You could also add columns for intermediate subformulas ~Q, P V ~Q and ~(P V ~Q), as you did.

Re: Simple truth table, check if correct

Hello, ronanbrowne88!

Quote:

Consider the following truth statement: .

1. Express the logic statement as a logic gates system.

Quote:

2. Write the truth table for the system.

. .