EXAMEN de lógica: FNC y FND difíciles, resueltas paso a paso (3 niveles) | Mat. Discreta y Lógica

Primer examen del bloque de lógica proposicional: tres ejercicios de dificultad creciente, a nivel de examen real. ★ Simplificar ¬(p → q) ∨ (p ∧ q) con las leyes lógicas. ★★ Forma normal conjuntiva y disyuntiva de p ↔ (q ∧ r). ★★★ Forma normal conjuntiva de (p ∨ q) → (r ↔ ¬p), con doble distributiva, eliminación de tautologías y absorción. Cada ejercicio se propone, paras el vídeo, y después se resuelve paso a paso con la ley de cada paso. Forma parte de la lista «Matemática Discreta y Lógica», pensada para primero de los grados en Inteligencia Artificial, Ciencia de Datos e Ingeniería Informática. Los exámenes van al final de cada bloque, después de la teoría y la práctica. Anterior, Práctica 8 (un ejercicio con cada método de demostración):    • ¿Qué MÉTODO DE DEMOSTRACIÓN uso? 4 ejercic...   Siguiente, Examen 2 (razonamientos, ¿válido o no?):    • EXAMEN de lógica: ¿argumento VÁLIDO o no? ...   Capítulos: 0:00 Esto ya no es calentamiento 0:15 Las reglas del examen 0:36 ★ Simplificar al máximo 1:20 ★★ FNC y FND de un bicondicional 2:23 ★★★ FNC con doble distributiva 3:30 Tres ideas Gradiente: el grado en Inteligencia Artificial, paso a paso. Teoría muy visual y ejercicios resueltos.