Codal
nydus/The Game of LogicPublic
Página 30 de 92
Table of Contents

1. Proposiciones.

Del mismo modo, las únicas dos disponibles para ym son la núm. 11 y la núm. 13.

De estas, la núm. 11 ya está marcada como «vacía»; así que nuestra ficha roja DEBE ir en la núm. 13.

El resultado final es

```
-----------
|0    |    1|
|   --|--   |
|  |0 | 0|  |
|--|--|--|--|
|  |1 |  |  |
|   --|--   |
|0    |     |
-----------
```

Y ahora, ¿cuánta de esta información puede transferirse de manera útil al Diagrama más pequeño?

Tomemos sus cuatro compartimentos, uno por uno.

¿Y en cuanto al núm. 5? Esto, como vemos, está totalmente «vacío». (Así pues, márquelo con una ficha gris).

¿En cuanto al núm. 6? Este, como vemos, está «ocupado». (Así que márcalo con una ficha roja).

¿En cuanto al núm. 7? Idem, ídem.

¿En cuanto al núm. 8? Ninguna información.

El Diagrama más pequeño está ahora bastante generosamente marcado:--

30