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.

Notación polaca

• Variables proposicionales son las letras minú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".
  
   
• Una negación es expresada por la letra mayúscula "N" seguida por la proposición que ha de ser negada. Ejemplos: "Np1", "Nz24", "Na12".
  
   
• Una conjunción es expresada por la letra mayúscula "K" seguida por el primer y segundo término de la conjunción (en este orden). Ejemplos: "Kpq", "KKpqr", "KpKqr".
  
   
• Una disyunción es expresada por la letra mayúscula "A" seguida por el primer y el segundo término de la disyunción respectivamente. Ejemplos: "Apq", "AKpqr", "ApKqr".
  
   
• Un condicional es expresado por la letra mayúscula "C" seguida por el antecedente y el consecuente (en este orden). Ejemplos: "Cpq", "CCpCqrCCpqCpr".
  
   
• Un bicondicional se expresa por la letra mayúscula "E" seguida por la proposición cuya equivalencia ha de ser expresada. Ejemplos: "Epq", "ECpqCNqNp"