Trabajo corto de lógica matemáticas

1. Demostrar, usando tableros semánticos que:

2. Para cada uno de los siguientes

casos

• Calcular una FNC, decidir si es o no

una tautología
• Calcular una FND, decidir si es o no satisfacible y