Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
expr( T ) --> infix_OR(T). infix_OR( T ) --> infix_AND(T). infix_OR( or(X,Y) ) --> infix_AND(X), [or], infix_OR(Y). infix_AND( T ) --> unary_NOT(T). infix_AND( and(X,Y) ) --> unary_NOT(X), [and], infix_AND(Y). unary_NOT( T ) --> primary(T). unary_NOT( not(X) ) --> [not], primary(X). primary( ID ) --> identifier(ID). primary( T ) --> ['(', expr(T), ')' ]. identifier( ID ) --> [X], { id(X), ID = X }. id(a). id(b). id(c). id(d). id(e). id(f). id(g). id(h). id(i). id(j). id(k). id(l). id(m). id(n). id(o). id(p). id(q). id(r). id(s). id(t). id(u). id(v). id(w). id(x). id(y). id(z).