Aussagenlogik - Programm!
 

@all

Hi, stehe mal wieder vor einem kleinen Problem:

Muss zum Thema Aussagenlogik eine Arbeit machen, jetzt meine Frage:

Gibt es im Internet ein Programm, mit dem ich aussagenlogische Formeln eingeben kann, und die dann mir ne Wahrheitstabelle richtig und ausführlich hinschreiben?

Mit freundlichen Grüßen

Coolbininet

kleiner tipp: bei solchen fragen immer zuerst "google" bemühen!

aber, weil ich ja hilfsbereit bin, hab ich schon geschaut. schau dir
das
mal an, vielleicht kannst du damit etwas anfangen.

lg,
yt

du wirst die schule nie schaffen, wenn du deine hausaufgeben nicht selber machst!!!!!!

probier mal:
http://logik.phl.univie.ac.at/~chris...r-zentral.html

da stimm ich dir zu

wie wärs aba wennst deine c-kenntnisse mit (nehm mal an) gedv oda prru verknüpfst und a proggie selba schreibst das dir sowas macht!

Er ist ein Anfänger 1. und er weiß nicht so gut Bescheid. Weiters 2. wünscht er sich ein Programm, wo er Formeln eingeben kann, wobei sämtliche Kombinationsmöglichkeiten mit ihren Resultaten am Bildschirm angedruckt werden.

Lasst ihn mit "guten" Ratschlägen in Frieden, er hat seinen Link jedenfalls. Hilfe zu geben, sollte in solchen Fällen doch einfach zu realisieren sein. Wenn er ein Programm selber schreiben wollte und müßte, hätte er es wohl geschrieben. Wahrscheinlich will er das auch. Er braucht halt ein Programm, anhand dessen er sein selber programmiertes Werk auf Herz und Nieren testen kann.

Nur zur Erklärung, wie der wahre Sachverhalt zu sein scheint ...

Kikakater

und ich glaube immer noch mein rat war der bessere!

sorry, anders überlegt und antwort wieder zurückgenommen. da man die postings nicht selbst löschen kann, bitte ich einen moderator dies zu tun.

Mit "guten" Ratschlägen habe ich nicht Ratschläge sondern das Abwiegeln der Raterteilenden gemeint, warum glaubst Du ist das Wort gut unter Anführungszeichen gesetzt ?

Gemeint sind Kommentare wie:

du wirst die schule nie schaffen, wenn du deine hausaufgeben nicht selber machst!!!!!!

und

wie wärs aba wennst deine c-kenntnisse mit (nehm mal an) gedv oda prru verknüpfst und a proggie selba schreibst das dir sowas macht!

Der wollt sich ja nix selber schreiben in zweiter Linie sondern sein bereits selber geschriebenes / noch zu schreibendes Programm / Referats- / Pipapo - Tralala verifizieren.

Es kann ja nicht so unmöglich sein, ein Programm UND wie auch ODER eine HTML Seite geliefert zu bekommen. Das - hat er gebraucht. Mit Bemerkungen wie: "Sei ein Kapazunder, verwende kein Meßgerät, Saitenstimmer, mathematisches Beweisverfahren" ist ihm nicht geholfen, sondern das Gegenteil davon wird erreicht. Insofern ist meine Bemerkung mit den "guten" (=hinderlichen um zu einem Ergebnis zu kommen) Ratschlägen gemeint.

Das meine Beiträge ausschweifend seien, weise ich hiermit in aller Form zurück :) . Man braucht der Worte viele wenn es detailiert zugeht im Hendelstall der Computerwissenschaften. Jedenfalls fracke ich die Sentenzen und Ausflüsse sowieso auf das Maß alkoholisch behandelter Materien mit Resultat mehr Substrat durch Reduzierung der Feuchtigkeit (hinter den Ohren) ab. Ein bißchen mehr Klarheit durch angebliches Ausschweifen sei mir schon deshalb verziehen, weil alles andere ofmals nicht zum Ziel führt ... ist so !

Grüße von Kikakater

falls du dazu noch infos brauchst:
ich hab mal mit 'hyperproof' "arbeiten müssen"

www-csli.stanford.edu/hp/Hproof1.html

grüsse, sabine