En el archivo main contiene algunos ejemplos para procesar. Se debe añadir una formula conjuntiva para que el algoritmo pueda procesarla.
- Se debe usar tilde para negar una variable(~).
- Se usan los paréntesis para crear subconjuntos de preposiciones () (A|~B).
- Se usa pipe | para la preposición or o disyunción (~A|C).
- Se usa Ampersand “&” para la preposición y (conjunción) (A|~B)&(~A|C).
- La variable puede ser cualquier tipo de vocal y numero entre 1-9 o combinación.
- La variable puede ser cualquier tipo de letra y numero entre 1-9 o combinación de ambas.
- En la combinación de letras y número no se tienen que repetir la posición de letra y numero ejemplo (x1-x1x) (x1-x11)