lineariseer(E, L) :-
	lineariseer(E, L, []).

lineariseer(waar, [waar | L], L).
lineariseer(onwaar, [onwaar | L], L).

lineariseer(and(X,Y), L, S) :-
	lineariseer(Y, S1, S),
	lineariseer(X, L, [and|S1]).
lineariseer(not(X), [not|L], S) :-
	lineariseer(X, L, S).
