Puedes
escribir tu la tabla en papel y despues compararla con la que te da el
ordenador.
Ver mas abajo los lenguajes
que entiende el programa
Notación Fijada
Variables proposicionales son las
letras mayúsculas de la A a la Z. Si no fueran suficientes 27 variables, se
pueden utilizar estas letras en combinación con números naturales tomados
arbitrariamente, por ejemplo: "p1", "Z24" o "A12".
La negación puede ser expresada
por los símbolos "~", "-", "not", encabezando la proposición de esta manera:
"~P1", "-Z24" o "not A12".
La conjunción puede expresarse
con los símbolos "&", "^", "and", conectando la proposición de la siguiente
manera: "~P1 & Z10", "-(~P1 & Z10) ^ -A" o "-~-A and B".
La disyunción puede ser expresada
con los símbolos "v" (la letra minúscula v ), "|", "or", quedando la
proposición de la siguiente manera"~P1 v Z10", "-(~P1 & Z10) | -A" o "-~-A
or B".
El condicional puede ser
expresado por uno de los siguientes símbolos: "->", "=>", conectando la
proposición de la siguiente manera: "~P1 -> Z10" o "-(~P1 & Z10) => -A".
El bicondicional es expresado por
los siguientes símbolos "<->", "<=>", "iff", conectando la proposición de la
siguiente manera: "~P1 <-> Z10", "-(~P1 & Z10) <=> -A" 0 "-~-A iff B".
Los paréntesis "(" y ")", pueden
ser utilizados cuando sea necesario. Ambos "(", ")" y "[", "]", son válidos,
aunque cada paréntesis abierto debe ser emparejado con un paréntesis cerrado
del mismo tipo.
Ejemplos: "(P v Q) & R", "P & [Q v R]", "(P v Q) & [Q v R]".
Puede omitir los paréntesis, en cuyo caso, el
applet evaluará (de izquierda a derecha) las negaciones, conjunciones,
disyunciones, condicionales y bicondicionales. Si no está seguro de lo que
ésto significa o quiere controlar todo el proceso, debería intentar usar
paréntesis.
Se debe añadir un espacio (con el cursor) antes
y después de cada conector. Si no se deja dicho espacio, le es muy difícil
al servidor anilizar los datos introducidos. En este caso puede que algunas
veces se entiendan erróneamente los datos introducidos, por ejemplo, cuando
usted utiliza la letra minúscula "v" para expresar una disyunción.