Seite 1 von 1

Mistake in task 7 (first exercise)

Verfasst: 17. Apr 2009 13:24
von sewe
There has been a mistake in one of the test cases for task 7 (first exercise). The preprocessor should of course eliminate both implication and biimplication in one go. The second test case thus has to read as follows:

Code: Alles auswählen

(test (preproc '(<=> true false) '(&& (|| (~ true) false) (|| (~ false) true))))

Re: Mistake in task 7 (first exercise)

Verfasst: 17. Apr 2009 14:58
von marlic
Im Test ist auch noch ein kleiner Syntaxfehler:

Code: Alles auswählen

(test (preproc '(<=> true false)) '(&& (|| (~ true) false) (|| (~ false) true)))
funktioniert.

Re: Mistake in task 7 (first exercise)

Verfasst: 17. Apr 2009 18:33
von sewe
That's right. Sorry about the confusion and thanks to marlic for the correction.