Andreas van Cranenburgh		04440949	15 sep, 2004

1. 17.28:
Horn resolutie kan bewijzen dat een statement niet te vervullen is.
Met deze toevoeging kan gekeken worden of het statement niet te vervullen is,
want met alleen resolutie op de andere statements kan niet bewezen worden dat
ze niet te vervullen zijn.

17.29

2a. {t,s,y,x}
b. {x}
c. {y}

3a. {n e N | n\=3 & n\=5 & n\=7 & n\=9}
c. {n e N | n<6 V n=7 V n=9}
d. {n e N | n\=1 & n\=2 & n\=4}

4a. P c L
b. (B ^ R) c L
c. (R v W) ^ N'
d. R ^ (W ^ N')
e. R c N'
f. P = {}
g. P c L'
h. B c N
g. R c N