implementation module PropositieLogica3

import StdEnv

::	PropL    ...
::	Valuatie ...
::  Waarde   ...

instance toString PropL where
	toString ...

eval :: Valuatie PropL -> Waarde
eval ...

vars :: PropL -> ...
vars ...

vals :: ...
vals ...

truths :: PropL -> [Valuatie]
truths ...

Start = 0