Solution to 8.
![]](zimg/squarer.gif){kind=small}
| |
|
|
|
|
|
|
|
|
|
[entire statement] |
| T | T | T | F | F | F | F | F | F | F | T |
| T | T | F | F | F | T | F | F | F | F | T |
| T | F | T | F | T | F | F | F | F | F | T |
| T | F | F | F | T | T | F | F | F | F | T |
| F | T | T | T | F | F | F | F | F | T | T |
| F | T | F | T | F | T | F | F | F | T | T |
| F | F | T | T | T | F | F | F | F | T | T |
| F | F | F | T | T | T | F | F | F | T | T |
The statement is a tautology, as can be seen by the fact that there are only Ts in its truth column.