Truth table Definition and 71 Threads

The argument is: ~(A^B) / (~A^~B) -> (C^D) / D->C // C I've attached the truth values that I've filled in. I have difficulty in determining the truth values of A and B since I can't get any clue from other statements. Any advice would be appreciated.

Homework Statement prove that: not A implies B if and only if not B implies A Homework Equations construct truth table The Attempt at a Solution the answer is given as a table (T means true, F means false): A| B| not A implies B| not B implies A| IFF T...

Homework Statement I'm confused on how to set up the columns of a truth table. Is there a rule for doing this. ex) (P->(~RvQ))^R would you break it into smaller pieces P,Q,R then start inside and work out so next it would be (~RvQ) then (P->(~RvQ) and then (P->(~RvQ))^R Homework...

Homework Statement By providing a truth table, show that the following logic statement is a tautology: p ∧ (p → q) → qAny help will be much appreciated. Thank You

Homework Statement I'm supposed to prove that this statement is a tautology (with truth table): (p -> ((p OR q) AND ~q)) = (~p OR ~q) AND p Homework Equations The Attempt at a Solution p | q | ~p | ~q | p OR q | (p OR q) AND ~q | p -> ((p OR q) AND ~q) | (~p OR ~q) | (~p OR...

Homework Statement a) complete the table for the 16 x 4 ROM shown and indicate on the diagram how the inputs and outputs are connected to the ROM. b) Show your K-maps for functions F, G, and H and complete diagram on following page. Note that only 8 product terms are needed. Homework...

I was given a truth table and I must write a wff with exactly two two-place connective. I am new to logic and don't know where to start. I need to find wff a), b), c) and d). C B A ... wff a) T T T ... T T T F ... F T F T ... T T F F ... F F...

Hi, I'm new to logic. I can fill in a truth table if given a wff but can't do it the other way around. What is the general strategy in finding the wff of a truth table?

Homework Statement [(p->r) ^ (q->r)] -> (p ^ q) -> r Homework Equations anything but a truth table! laws such as (p->q)= ~(p^~q) or (p->q)=(~q->~p) might help

Hi, I got the following truth table... P1 P2 P3 P(P1,P2,P3) T T T T T T F T T F T F F T T F T F F T F T...

Dear All, Having trouble with a seemingly simple logic truth table. Are these answers correct? \begin{tabular}{| c | c | c | c | c | c |} \hline p & q & r & (p \vee q)\wedge(q \vee r) & (\neg p \wedge q) \vee ( p \wedge \neg r) & p \rightarrow q \rightarrow r\\ \hline T & T & T...

Dear All, Having trouble with a seemingly simple logic truth table. Are these answers correct? \begin{tabular}{| c | c | c | c | c | c |} \hline p & q & r & (p \vee q)\wedge(q \vee r) & (\neg p \wedge q) \vee ( p \wedge \neg r) & p \rightarrow q \rightarrow r\\ \hline T & T & T & T & F...

The truth table for A\Rightarrow B Means If A then B else Not B? But the truth table is supposedly looking like this: \begin{array}{ccc} A & B & A\Rightarrow B \\ T & T & T \\ T & F & F \\ F & T & T \\ F & F & T \end{array} Only problem I have is A=F and B=T? Why...

In logical implication (p implies q), if p is false, then no matter q is true or false, p implies q is true. But I think the negative of "p implies q" is "p implies not q", if so, if p is false, both "p implies q" and its negative are true, which is not possible. So is the negative of "p implies...

I have written the function for the circuit as --> F= (W'.Z)(X.Y')+(Y'+X)+(Z+W) I am very confused on how to set up the truth table can someone help me?

Hope this is the right place for this thread. Homework Statement Hi I need help with the truth table for a CMOS circuit. http://www.isk.kth.se/~william/dd/agda/bild/cmos/mos903.gif Homework Equations Truth table and What type of circuit is this? But I guess that's easy to...

I don't really know if this is an acceptable topic to be placing in a "Sciences" homework help forum. It's a problem I'm having in my Symbolic Logic class. Homework Statement Every sentence has a truth-table which can describe it, does every truth table have a sentence? We're dealing...

In a flip-flop fluidic (air logic) device like the one shown in the attachment what happens if both the C1 and C2 are closed for the truth table.

Hello everyone, I don't want to implement the rest of this circuit if i messed the truth table up! So i was wondering if someone can take a look to see if the truth table seems to hit all the cases and looks correct. http://img417.imageshack.us/img417/6629/lastscan4hi.jpg Here is what the...

Hello everyone, this is the first time programming a digital board without hardwiring. I'm confused on what the truth table of a "negative-logic OR" would look like: The diagram looks like Two inputs and 1 output, its an OR gate but both the inputs are sent through an inverter and the...

Hello everyone, I need to you to check if i did this right, i did this k-map 3 different times and everytime i do it, i get a different answer. okay here is the picture: http://img212.imageshack.us/img212/109/lastscan3ga.jpg also here it is at another location...