En este caso, tanto el patrón como las respuestas del alumno representan una expresión lógica en la que interviene un número finito (y limitado) de variables y un conjunto de operadores booleanos. Se considera que la respuesta encaja con el patron cuando el valor de verdad de la expresión es exactamente el mismo para todas las posibles interpretaciones.