Truth tables for the formulae from the assignment sheet: Difference between revisions
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 73: | Line 73: | ||
|0 | |0 | ||
|1 | |1 | ||
|0 | |||
|1 | |||
|1 | |||
|- | |||
|1 | |||
|0 | |||
|0 | |||
|1 | |||
|1 | |||
|0 | |||
|1 | |||
|1 | |||
|- | |||
|0 | |||
|1 | |||
|1 | |||
|0 | |||
|1 | |||
|0 | |||
|1 | |||
|1 | |||
|- | |||
|0 | |||
|1 | |||
|0 | |||
|1 | |||
|1 | |||
|1 | |||
|0 | |||
|0 | |||
|- | |||
|0 | |||
|0 | |||
|1 | |||
|0 | |||
|0 | |||
|0 | |||
|1 | |||
|1 | |||
|- | |||
|0 | |||
|0 | |||
|0 | |||
|1 | |||
|0 | |||
|0 | |0 | ||
|1 | |1 | ||
Latest revision as of 21:34, 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 |
| 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 |
(p ∨ q) ⊃ ¬(q ∧ ¬r)
| p | q | r | ¬r | (p ∨ q) | (q ∧ ¬r) | ¬(q ∧ ¬r) | (p ∨ q) ⊃ ¬(q ∧ ¬r) |
| 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
Back to the assignment sheet for Chapter 2.