Logikrechner

Ein freier und Open-Source-Rechner, der speziell entwickelt wurde, um Ihnen dabei zu helfen, eine große Auswahl an logischer Oper auszuführen ...
Jetzt downloaden

Logikrechner Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Apache
  • Name des Herausgebers:
  • Oscar Chávez
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 1.1 MB

Logikrechner Stichworte


Logikrechner Beschreibung

Der Logikrechner ist eine selbsterklärende OS-X-Anwendung, die die erforderlichen Tools und Funktionen bereitstellt, um verschiedene logische Operationen auszuführen. Vom Hauptfenster des Logic-Rechners können Sie auf drei verschiedene Modi, die Auswertung der Logik-Formel, der logischen Folgen und der Umwandlung einer Formel auf disjunktives Normalform (DNF) und konjunktive Normalform (CNF) zugreifen können. Im ersten Modus können Sie den grundlegenden booleschen Operationen wie Negation, Desses, Konjunktion, biconditional, bedingt und in die logische Formel einfügen. Der Logikrechner gibt die Wahrheitstabelle und die Modelle der Formel aus. Der zweite Modus hilft Ihnen, eine Reihe von Räumlichkeiten zusammen mit den Schlussfolgerungen einzufügen, für die der Logikrechner die Wahrheitstabelle für jede Schlussfolgerung und Prämisse anzeigt. So können Sie sich ansehen, ob die Räumlichkeiten logisch die bereitgestellten Schlussfolgerungen mit sich beinhalten. Mit dem dritten Modus können der Benutzer die logische Formel eingeben und seine Darstellung in CNF und DNF generieren. Das Logic-Rechner-Dienstprogramm ist eine plattformübergreifende Software, die auf jeder Plattform verwendet werden kann, die die Java-Kompatibilität bietet (z. B. Mac OS X, Linux, Windows).


Logikrechner Zugehörige Software

Modellieren

Ein praktisches Werkzeug, das erstellt wurde, um Ihnen zu helfen, eine Kurve zu schätzen, die auf einem Scatterplot passt, und ... ...

13 1 KB

Herunterladen

Segminator II

Ein leichte Werkzeug, das für die Charakterisierung viraler Lesedaten aufgebaut ist, die auf dem nächsten Generat erzeugt wird ... ...

133 3.1 MB

Herunterladen