Edición de «Práctica 4 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 34: | Línea 34: | ||
== Ejercicio 04 == | == Ejercicio 04 == | ||
<br>a) Sup que no. Hay 4 casos: | |||
Sup que no. Hay 4 casos: | |||
*α T y β T → v(α٨β)=1 | *α T y β T → v(α٨β)=1 | ||
*α T y β F → v(α٨β)=0 | *α T y β F → v(α٨β)=0 | ||
Línea 41: | Línea 40: | ||
*α F y β F → v(α٨β)=0 | *α F y β F → v(α٨β)=0 | ||
→ α٨β nunca es C (ABS) | → α٨β nunca es C (ABS) | ||
Sup que no. Hay 2 casos: | <br>b) Sup que no. Hay 2 casos: | ||
*α٨β T → α T y β T | *α٨β T → α T y β T | ||
*α٨β F → α F o β F | *α٨β F → α F o β F |