Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| teaching:cc4101:tareas:2015-2:tarea2 [2015/10/10 16:16] – [(1.3) Optimización] racruz | teaching:cc4101:tareas:2015-2:tarea2 [2015/10/11 13:17] – [Motivación] racruz | ||
|---|---|---|---|
| Line 21: | Line 21: | ||
| <code scheme> | <code scheme> | ||
| - | (<=> (=> p q) (or (¬ p) q)) | + | (<=> (=> p q) (or (not p) q)) |
| </ | </ | ||
| Line 30: | Line 30: | ||
| <code scheme> | <code scheme> | ||
| - | (<=> (=> p q) (or p (¬ q))) | + | (<=> (=> p q) (or p (not q))) |
| </ | </ | ||