Pawlogic - lizenz b Pawlogic ist ein Programm zum Manipulieren von booleschen Ausdrücken. Das Programm behandelt beide ...
Jetzt downloaden

Pawlogic - lizenz b Ranking & Zusammenfassung

Pawlogic - lizenz b Stichworte

boolean. Boolescher Konverter booleschen Polynome

Pawlogic - lizenz b Beschreibung

Pawlogic ist ein Programm zum Manipulieren von booleschen Ausdrücken. Der Programm behandelt beide Ausdrücke in der Soll-Logik und quantifiziert Boolesche Formeln (QBF). Die Logik wird heute weit verbreitet. Es bildet die Grundlage der mathematischen Beweismethoden. Es wird in der formalen Überprüfung wie das symbolische Modell verwendet Überprüfung und Äquivalenzprüfung von Kombinations- und Sequential Schaltungen. Logik ist auch hinter den Produktkonfiguratoren und der Bau von Fernbedienungen und Ampelkreuzungen. Und logisch ist etwas, das wir täglich verwenden. Zum Beispiel akzeptieren die meisten von uns das folgende Begründung: "Wenn es regnet, werde ich nass. Es regnet. Deshalb ich Nehmen Sie nass. "Dies ist eine Angewandte Logik. Mit dem Pawlogic können Sie arbeiten und mit Logik experimentieren. Wenn du eine ... bist Student der Logik, Sie erhalten ein wertvolles Werkzeug, um Sie in Ihrem zu unterstützen Studien. Wenn Sie professionell mit der Logik arbeiten, erhalten Sie ein Immer eingerechtes Logikprogramm für Sie, um zu verwenden, ob im Büro, zu Hause oder in Bewegung. Und wenn Sie nur an der Welt interessiert sind Logik, hier ist Ihre Chance, praktische Erfahrungen zu erhalten. Pawlogic arbeitet unter Palmos 2.0 und höher. Copyright © 2000. Poul F. Williams. Alle Rechte vorbehalten. Besuchen Sie die Paweng-Webseite, um weitere Informationen zu erhalten. Wir verfügen über ein Handbuch online, einschließlich einer Reihe von Screenshots.

Pawlogic - lizenz b Zugehörige Software