[infostudents] Logik Blatt 4
- From: Gökhan Özer <ozer@xxxxxxxxxxxxxxxxxxxxxxxxxx>
- To: infostudents@xxxxxxxxxxxxx
- Date: Sun, 23 Nov 2008 18:40:22 +0100
Hi,
hat jemand sich schon mit der Aufgabe 2 beschäftigt..?
Laut Def. muss ich die Formel in KNF befinden, um das Resolutionskalkül
anwenden zu können.
Allerdings ist die Aussage auf dem Blatt in DNF.
Bis man das ganze Teil, umgeschrieben hat, dauert es eine Ewigkeit...
Kann es sein, dass die sich verschrieben haben...?
Grüße
Gökhan
--
Gökhan Özer
Colombistrasse 17
789098 Freiburg
Matrikel Nr.: 1302829
Tel: 0176-21969169
---
Sent through the Infostudents Mailinglist
List Archive:
//www.freelists.org/archives/infostudents/
Subscribe / Unsubscribe:
//www.freelists.org/list/infostudents
Other related posts:
