Besonderhede van voorbeeld: 972689886355167866

English

If the highest operator of E is not :, then E must be of the form E1 _ E2 or E1 ^ E2 .

Spanish

Si el operador de más prioridad de E no es ¬, entonces E tiene que ser de la forma E1 ∨ E2 o E1 ∧ E2 .