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. Por ejemplo, el patrón $p \to q$ reconoce como correcta la expresión lógica $\lnot p \lor q$ y la expresión $\lnot (p \land \lnot q)$, ya que las tres son equivalentes, es decir, dan el mismo resultado para cualquier posible interpretación, entendiendo como tal cualquier combinación de valores de las variables que intervienen en la expresión. En este caso, las cuatro interpretaciones posibles son $\{p=true, q=true\}$; $\{p=true, q=false\}$; $\{p=false, q=true\}$; y $\{p=false, q=false\}$

Evidentemente, el número de variables $n$, incrementa el número de interpretaciones, ya que la complejidad del cálculo es claramente del orden de $2^n$, pero para los casos que normalmente se plantean no hay problema incluso con 12 o más variables.

Las variables se escriben siempre como un solo caracter. En todo el lenguaje no se distingue nunca entre mayusculas minúsculas. La sintaxis del para escribir tanto los patrones como la respuesta puede considerarse como una sintesis de diversos lenguajes de programación (como java o C) y lenguajes que incluyen símbolos contenidos en las expresiones lógicas (como Unicode, LaTeX, Html), con algunas extensiones propias para intentar reconocer la mayor parte de las posibles representaciones de las expresiones lógicas: