Across
- 4. +/* en el que un literal no aparece más de una vez
- 5. Si el término canónico es una suma
- 7. Son los verdaderos o falsos
- 9. Expresión al cambiar los signos +/* y 1 con 0
- 10. Denominada operacion "N" (NOT)
- 12. Denominada operación "O" (OR)
Down
- 1. Si el término canónico es un producto
- 2. Literales relacionados entre sí por un AND
- 3. Son variables
- 6. Denominada operacion "Y" (AND)
- 8. Literales relacionados entre sí por un OR
- 11. Son la variables y su complemento
