Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Alternatively, just the truth table method. Since each proposition must be equal to its matching variable, we can mark rows as contradictions if the two sets of columns are unequal. All rows without contradictions are valid answers to the question. I don't have to convince you of any given value of any given variable, because this is exhaustively examining every possible combination.
- A B C D E | P1 P2 P3 P4 P5 | Contradiction?
- ----------+----------------+---------------
- F F F F F | T T F T F | Yes
- F F F F T | F T F T F | Yes
- F F F T F | F F F T F | No
- F F F T T | F F F T F | Yes
- F F T F F | F F F F F | Yes
- F F T F T | F F F F F | Yes
- F F T T F | F F F F F | Yes
- F F T T T | F F F F F | Yes
- F T F F F | F T F F F | No
- F T F F T | F T F F F | Yes
- F T F T F | F F F F F | Yes
- F T F T T | F F F F F | Yes
- F T T F F | F F T F F | Yes
- F T T F T | F F T F F | Yes
- F T T T F | F F T F F | Yes
- F T T T T | F F T F F | Yes
- T F F F F | T T F F F | Yes
- T F F F T | F T F F F | Yes
- T F F T F | F F F F F | Yes
- T F F T T | F F F F F | Yes
- T F T F F | F F F F F | Yes
- T F T F T | F F F F F | Yes
- T F T T F | F F F F F | Yes
- T F T T T | F F F F F | Yes
- T T F F F | F T F F F | Yes
- T T F F T | F T F F F | Yes
- T T F T F | F F F F F | Yes
- T T F T T | F F F F F | Yes
- T T T F F | F F T F F | Yes
- T T T F T | F F T F F | Yes
- T T T T F | F F T F F | Yes
- T T T T T | F F T F T | Yes
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement