2. Disclaimer: This presentation is prepared by
trainees of baabtra as a part of mentoring
program. This is not official document of baabtra –
Mentoring Partner
Baabtra-Mentoring Partner is the mentoring division of baabte System
Technologies Pvt . Ltd
3. TRUTH TABLE AND PROBLEM
SOLVING
vishnu.padinjattedath@gmail.com
@Vishnu_Kishor
4. BOOLEAN ALGEBRA
• Boolean algebra (or Boolean logic) is a logical
calculus of truth values
• It’s algebra of two values.
• These are usually taken to be 0 and 1
• Also F and T, false and true, etc. are also in
common use.
5. TRUTH TABLE
• A truth table is a mathematical table used
in logic—specifically in connection
with Boolean algebra, boolean functions etc
• Used to compute the functional values of
logical expressions on each of their functional
arguments
6. • Each row of the truth table therefore contains
one possible configuration of the input
variables and the result of the operation for
those values
7. LOGIC GATES
• A logic gate is an idealized or physical device used
for implementing a Boolean function
• It performs a logical operation on one or more
logic inputs and produces a single logic output
• Logic gates are primarily implemented
using diodes or transistors acting as electronic
switches
• can also be constructed using
electromagnetic relays, fluidic logic, pneumatic
logic, optics, molecules, or
even mechanical elements.
8.
9. Use a truth table to test the
validity of the following
argument.
10. Q1) If you invest in the VK Corporation, then
you get rich.
You didn't invest in the VK Corporation.
Therefore, you didn't get rich.
A. Valid
B. Invalid
11. • Step 1-Symbolize the argument.
Let p be the statement "You invest in the VK
Corporation."
Let q be the statement "You get rich."Then the
argument has this symbolic form:
• Step 2-Make a truth table having a column for
each premise and for the conclusion
12. • Step 3-Interpret the truth table.
Notice that in the third row, the conclusion is
FALSE while both premises are TRUE.
This tells us that the argument is INVALID.
13. Q2) If you are a hound dog, then you howl at
the moon.
You don't howl at the moon.
Therefore, you aren't a hound dog.
A. Valid
B. Invalid
14. • Step 1-Symbolize the argument.Let p be the
statement "You are a hound dog."
Let q be the statement "You howl at the
moon.“.Then the argument has this symbolic
form:
• Step 2-Make a truth table having a column for
each premise and for the conclusion.
15. • Step 3-Interpret the truth table.
Notice that in this truth table, there is NO
ROW in which conclusion is FALSE while both
premises are TRUE.
This tells us that the argument is VALID.