Aussagenlogik mit einem Programm lösen

[Razorhawk]

Eigentlich wäre das nur eine kurze Frage:

Kann mir jemand das Prinzip für ein Aussagenlogik Programm erklären, bzw. eine Seite nennen in der das speziell für ein Programm gezeigt wird.
In dem Fall ist die Programmiersprache ja egal, denn es kommt mir aufs Prinzip an.
An sich ist das ja Mathematik, aber ds gleicht sich eh alles.

Wär nett.
Danke!

 

[Cypher_ab]

hi,
hab den thread gerade zufällig über google gefunden, weil ich nach einem namen für ein programm suche, das wahrheitstabellen (ka ob man das "in wirklichkeit" auch so nennt... wir in der schule tun es ) zu logischen gleichungen (*?*) erstellt.

also man gibt z.B.
a&(b|c)
an und das Programm spuckt einem dann ne Tabelle aus

a       b       c
0       0       0       0&(0|0) 0
0       0       1       0&(0|1) 0
0       1       0       0&(1|0) 0
0       1       1       0&(1|1) 0
1       0       0       1&(0|0) 0
1       0       1       1&(0|1) 1
1       1       0       1&(1|0) 1
1       1       1       1&(1|1) 1

meinst du sowas mit "Aussagenlogik Programm"?
ich bin noch nicht ganz fertig, aber hier http://yolk.s3.cybton.com/tgi2007/upload/aussagenlogik/aussagenlogik-0.01.tar.gz kannst du dir den sourcecode von der wichtigsten funktion ziehen.

sofern du überhaupt nach sowas suchst...