1. La tabla tiene una columna por cada subfórmula, ordenadas de menor a mayor complejidad; la última columna (dorada) es la fórmula completa.
2. Haga clic sobre una celda para alternar su valor: vacía → V → F → vacía. Las columnas de los átomos ya vienen llenas.
3. Presione Verificar: las celdas correctas quedan en verde, las incorrectas en rojo y las vacías en amarillo.
4. Al completar la tabla, deberá clasificar la fórmula: tautología, contradicción o contingencia.
Según la última columna, la fórmula es una…