www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast! [ einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Aussagenlogik" - Software für Boolesche Algebra
Software für Boolesche Algebra < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Software für Boolesche Algebra: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 14:16 Mi 24.01.2007
Autor: Psych0dad

Aufgabe
[mm] \overline{a}\vee b\vee \overline{b}\vee \overline{c} [/mm]

Hey Leute,

ich hab schon gegoogelt aber noch nichts gefunden. Ich suche ein Programm das Boolesche Gleichungen lösen kann wie z.B.  die angegebene Aufgabe. Die ist natürlich sauleicht aber ich wollte nur das ihr wisst was ich meine. Falls es wirklich keine Software dafür gibt werd ich euch mit ein paar Aufgaben nerven müssen ;-)

MfG


Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.


        
Bezug
Software für Boolesche Algebra: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 12:59 Sa 27.01.2007
Autor: Bastiane

Hallo Psych0dad!

Da bisher keiner geantwortet hat, schlage ich vor, du beginnst mal mit dem "nerven" mit ein paar Fragen. :-) Ich freue mich schon (falls sie nicht zu schwierig sind ;-)). Und: nicht alles auf den letzten Drücker, okay?

Viele Grüße
Bastiane
[cap]
Bezug
        
Bezug
Software für Boolesche Algebra: Antwort
Status: (Antwort) fertig Status 
Datum: 13:07 Sa 27.01.2007
Autor: Karl_Pech

Hallo Psych0dad,


[willkommenmr]


> ich hab schon gegoogelt aber noch nichts gefunden. Ich
> suche ein Programm das Boolesche Gleichungen lösen kann wie
> z.B.  die angegebene Aufgabe.


Derive (zumindest ab Version 5) besitzt die Möglichkeit auch Boolesche Terme zu vereinfachen. (Ok, Derive ist zwar keine Freeware aber du hast auch nicht nach einer Freeware gefragt. ;-))



Viele Grüße
Karl




Bezug
        
Bezug
Software für Boolesche Algebra: für Wahrheitstabellen
Status: (Antwort) fertig Status 
Datum: 17:54 Sa 27.01.2007
Autor: Bastiane

Hallo Psych0dad!

Zum Vereinfachen ist []das hier nicht gerade, aber immerhin kannst du damit Wahrheitstabellen erzeugen, was ja immerhin zum gleichen Ergebnis führen muss. :-)

Viele Grüße
Bastiane
[cap]

P.S.: Hab's noch nicht ausprobiert, aber in einer anderen Diskussion hier im Forum wird ein Link dorthin gegeben. :-)
Bezug
        
Bezug
Software für Boolesche Algebra: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:20 Di 30.01.2007
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
                
Bezug
Software für Boolesche Algebra: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 15:54 Do 01.02.2007
Autor: Psych0dad

Hey Leute,

erstmal ein rießen dankeschön :) mit soviel Resonanz hätte ich nicht gerechnet :) Ein guter Grund für mich dieses Forum öfters zu nutzen :)

Die 5 Tage sind zwar schon abgelaufen aber die Klausur ist erst in einer Woche. So ich habe mir mal eine Testversion von Derive geholt und werde mich jetzt ein wenig einarbeiten. Sieht auf den ersten Blick garnicht schwer aus.

Nochmal Danke
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]