Solution to 9.
| |
|
|
|
|
|
|
|
|
|
[entire statement] |
| T | T | T | T | F | F | F | T | T | T | T |
| T | T | T | F | F | T | T | T | T | T | T |
| T | T | F | T | T | F | F | T | T | T | T |
| T | T | F | F | T | T | T | T | T | T | T |
| T | F | T | T | F | F | F | F | F | T | T |
| T | F | T | F | F | T | T | F | T | T | T |
| T | F | F | T | T | F | F | T | F | T | T |
| T | F | F | F | T | T | T | T | T | T | T |
| F | T | T | T | F | F | F | T | T | T | T |
| F | T | T | F | F | T | F | T | T | T | T |
| F | T | F | T | T | F | F | T | T | T | T |
| F | T | F | F | T | T | F | T | T | T | T |
| F | F | T | T | F | F | F | F | F | T | T |
| F | F | T | F | F | T | F | F | F | T | T |
| F | F | F | T | T | F | F | T | F | T | T |
| F | F | F | F | T | T | F | T | F | T | T |
The statement is a tautology, as can be seen by the fact that there are only Ts in its truth column.