SOLUTION: NAND. A NAND is an AND followed by a NOT. The notation a ↑ b means that a and b are inputs into a NAND. In other words, a ↑ b := ¬(a∧b). The symbol “:=” is defined

Algebra ->  Complex Numbers Imaginary Numbers Solvers and Lesson -> SOLUTION: NAND. A NAND is an AND followed by a NOT. The notation a ↑ b means that a and b are inputs into a NAND. In other words, a ↑ b := ¬(a∧b). The symbol “:=” is defined       Log On


   

Question 1154073: NAND.
A NAND is an AND followed by a NOT. The notation
a ↑ b means that a and b are inputs into a NAND. In other words, a ↑ b := ¬(a∧b). The symbol “:=” is defined to be “is defined to be.”
(a) Find the truth table for a ↑ b.
(b) Find the truth table for (a ↑ b) ↑ (a ↑ b).
(c) Prove or disprove (a ↑ b) ↑ (a ↑ b) ≡ a∧b. The symbol ≡ is equivalent to “is equivalent to.”
(d) Prove or disprove a ↑ b ≡ (¬a)∨(¬b).
Answer by Shin123(626) About Me  (Show Source):
You can put this solution on YOUR website!
(a) a l b l a ↑ b (b) a l b l (a ↑ b) ↑ (a ↑ b)
T T F T T T
T F T T F F
F T T F T F
F F T F F F
(c) It is true because the truth table for (b) matches the truth table for a AND b
(d) It is true because the truth table for (a) matches the truth table for a OR b