Bei der A2 b) war mir ein Fehler bei der Herbrandnormalform unterlaufen. Ist jetzt behoben. Was meint ihr dazu? Und hat jemand die A1 oder die A4? MfG, Michi _________________________________________________________________ Invite your mail contacts to join your friends list with Windows Live Spaces. It's easy! http://spaces.live.com/spacesapi.aspx?wx_action=create&wx_url=/friends.aspx&mkt=en-us