Mistake in task 7 (first exercise)

Benutzeravatar
sewe
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 295
Registriert: 16. Jan 2009 14:53
Kontaktdaten:

Mistake in task 7 (first exercise)

Beitrag 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))))

Benutzeravatar
marlic
Computerversteher
Computerversteher
Beiträge: 365
Registriert: 5. Okt 2006 11:09
Wohnort: Dietesheim

Re: Mistake in task 7 (first exercise)

Beitrag von marlic »

Im Test ist auch noch ein kleiner Syntaxfehler:

Code: Alles auswählen

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

Wahlspruch der Plagiatoren

Benutzeravatar
sewe
Sonntagsinformatiker
Sonntagsinformatiker
Beiträge: 295
Registriert: 16. Jan 2009 14:53
Kontaktdaten:

Re: Mistake in task 7 (first exercise)

Beitrag von sewe »

That's right. Sorry about the confusion and thanks to marlic for the correction.

Antworten

Zurück zu „Archiv“