| T0 | (x | +y | +¬z) | (¬x | +¬y | +z) | (¬x | +y | +z) |
| (x | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
| +y | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| +¬z) | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 |
| (¬x | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |
| +¬y) | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| +z) | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |
| (¬x | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |
| +y | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| +z) | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |