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
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...
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...