Creating a Truth Table: Step-by-Step Guide

  • Thread starter Thread starter joemama69
  • Start date Start date
  • Tags Tags
    Table Truth table
Click For Summary
SUMMARY

The discussion focuses on constructing a truth table for the logical expression (P->(~RvQ))^R. To set up the truth table, one must create a column for each variable (P, Q, R) and additional columns for intermediate expressions such as (~RvQ), (P->(~RvQ)), and the final expression (P->(~RvQ))^R. With three variables, a total of eight rows is required to cover all possible combinations of truth values.

PREREQUISITES
  • Understanding of logical operators: implication (->), negation (~), and conjunction (^).
  • Familiarity with truth tables and their structure.
  • Basic knowledge of propositional logic.
  • Ability to evaluate logical expressions step-by-step.
NEXT STEPS
  • Study the construction of truth tables for complex logical expressions.
  • Learn about logical equivalences and how they apply to truth tables.
  • Explore the use of software tools for generating truth tables automatically.
  • Practice evaluating more complex logical expressions beyond three variables.
USEFUL FOR

This discussion is beneficial for students studying logic, educators teaching propositional logic, and anyone interested in mastering the construction of truth tables for logical expressions.

joemama69
Messages
390
Reaction score
0

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 Equations





The Attempt at a Solution

 
Last edited:
Physics news on Phys.org
joemama69 said:

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 Equations





The Attempt at a Solution

You need one column for each variable, and then columns for the other expressions you need to evaluate. It wouldn't hurt to have separate columns for (~RvQ), (P->(~RvQ), and (P->(~RvQ))^R.

Since you have three variables, P, Q, and R, you need eight rows.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
3K