Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

Karsten Schenk

Unregistered

1

Friday, May 2nd 2003, 4:21pm

Logik Übung

Hallo.

Ich habe von der letzten Logikübung leider vergessen,
die Blätter (Lösung/Übung) mitzunehmen. Kann mir irgendjemand diese Bältter zugänglich machen?

Vielen Dank im Voraus.

Karsten

EvilHomer

Junior Schreiberling

  • "EvilHomer" is male

Posts: 214

Date of registration: Dec 12th 2001

Location: Region Hannover

Occupation: Da kommt Ihr nie drauf ;-)

2

Friday, May 2nd 2003, 5:26pm

Hi,

ich habe nur das Übungsblatt 3, von einem Lösungsblatt weiß ich garnichts ;-).

cu EH

When people look like ants - pull
When ants look like people - pray
  • Send private message

migu

free rider

  • "migu" is male

Posts: 2,643

Date of registration: Dec 11th 2001

Occupation: Developer

3

Friday, May 2nd 2003, 6:43pm

Karsten, Schau mal hier.

-migu
tar: Anlegen eines leeren Archivs wird feige verweigert.
  • Send private message

Karsten Schenk

Unregistered

4

Sunday, May 4th 2003, 8:34am

Vielen Dank.

Hat jemand schon die Unformung zur Hornformel
in der ersten Aufgabe? Ich stecke an der Doppelklammer fest.

Joachim

Guru

  • "Joachim" is male

Posts: 2,863

Date of registration: Dec 11th 2001

Location: Hämelerwald

Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)

5

Sunday, May 4th 2003, 12:08pm

Quoted

Original von Karsten Schenk
Hat jemand schon die Unformung zur Hornformel
in der ersten Aufgabe? Ich stecke an der Doppelklammer fest.
Aufgrund der Distributivität gilt:

(!B OR !F OR (!C AND D AND !E))
== (!B OR !F OR !C) AND (!B OR !F OR D) AND (!B OR !F OR !E)
== (B AND F AND C -> 0) AND (B AND F -> D) AND (B AND F AND E -> 0)
The purpose of computing is insight, not numbers.
– Richard Hamming, 1962
  • Send private message