Introduction to Logic
 Tools
for
Thought 		 
Exercise 2.4 - Satisfaction

Consider the sentences shown below.

p ∨ q ∨ r
p ⇒ q ∧ r
q ⇒ ¬r

There are three proposition constants here, meaning that there are eight possible truth assignments. How many of these assignments satisfy all of these sentences?