Purpose of Assignment:
To help you…
learn the syntax of propositional logic formulas
determine the meaning (determine the truth value) of a propositional logic formula using truth tables
understand the correspondence betweenproposition logic formulas and circuits, and
tracing the execution of a circuit and building a truth table
become acquainted with the Logika tool
We have created some automated grading tools to speed the grading of homeworks. To apply those tools, we need to make sure that each student uses a consistent naming for all their solutions file. Therefore, we have created an IntelliJ project with template files for your solution. DON'T CHANGE THE NAME OF ANY OF THE FILES that we give you.
Getting started
You can find examples of completed Logika truth tables in the Logika example repository (included in the class examples that you downloaded (as illustrated in the "Step #2" videos). Here is a direct link to the truth table portion of those examples:
https://github.com/sireum/v3-logika-examples/tree/release/src/truthtable
Considerations
All files must run in the Sireum IVE
To receive any points a problem must:
be a Logika Truth Table (see examples and class slides)
contain the proper logic proposition
identify the correct logical connective with an *
i.e. you must answer the correct question
Partial credit may be received if
Some truth assignments are incorrect
There are errors in the Tautology/Contradictory/Contingent section
Do not change the variable name
List all variables alphabetically ( "p q r" not "r p q" )
Problems
(4 points) Write the truth table for the proposition below:
¬p → q V r
(3 points) To see the impact of precedence, write the truth table for:
¬(p → q) V r
(4 points) Write the truth table for:
(p → q) ∧ (q → r)
(5 points) Write a truth table for the following circuit:
(11 points) Consider the two propositions below. Are they equivalent?
Justify your answer with appropriate truth tables and a short supporting
comment. Comments in Logika, like C, begin with //.
(p → q)→ r
p → (q → r)
(3 points) Using two variables p and q, write a logical proposition and
truth table for a Tuatology.
