Truth tables for the formulae from the assignment sheet: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 9: Line 9:
== p ∧ (p ∧ q) ==
== p ∧ (p ∧ q) ==


{|border = "1"
{|border = "1" align="center"
|+
|+
|p
|p
Line 20: Line 20:
|1
|1
|1
|1
|-
|1
|0
|0
|0
|}
|}



Revision as of 21:24, 29 June 2013

Task 7: Truth tables

Compute the truth table for the following formulæ:

1. p ∧ (p ∧ q)

2. (p ∨ q) ⊃ ¬(q ∧ ¬r)

p ∧ (p ∧ q)

p q p ∧ q p ∧ (p ∧ q)
1 1 1 1
1 0 0 0

(p ∨ q) ⊃ ¬(q ∧ ¬r)


Back to the assignment sheet for Chapter 2.