RBS Bool'scher Formel Minimierer
System-Anforderungen und Lizenz/Garantie
- Um den RBS-Formel-Minimierer verwenden zu können muss ein
Java-Runtime-Enviroment (JRE) der Version 1.5 oder höher
von Java.com oder
von SUN installiert sein.
- Der Minimierer ist von Hr. Holzer selbst gecoded und wird als Freeware bereitgestellt, eine Vermarktung dieser oder auf ihr aufbauender Software ist untersagt.
Auch die Vermarktung modifizierter Software die von diesen Quellen ausgeht ist verboten.
- Es wird keinerlei Garantie für die richtige Funktionsweise und/oder entstandene Schäden übernommen,
die durch die Verwendung dieser Software entstehen.
Download
Eine ausführbare offline Variante (benötigt Java 1.5 oder höher) gibt es als
jar (54KB) oder als
gezipptes jar (52KB) für IE-Nutzer
zum runterladen .
Regel der Bool'schen Algebra
Die Gesetzte als
PDF Datei.
Gesetze für das Nicht
| N1 |
Doppelte Negation |
¬¬A = A |
| N2 |
Nicht Eins |
¬1 = 0 |
| N3 |
Nicht Null |
¬0 = 1 |
Gesetze für Und/Oder
| |
Name |
UND-Form |
ODER-Form |
| 1 |
Idempotenz |
A∧A = A |
A∨A = A |
| 2 |
Assoziativität |
(A∧B)∧C = A∧(B∧C) |
(A∨B)∨C = A∨(B∨C) |
| 3 |
Kommutativität |
A∧B = B∧A |
A∨B = B∨A |
| 4 |
Distributivität |
A∧(B∨C) = (A∧B)∨(A∧C) |
A∨(B∧C) = (A∨B)∧(A∨C) |
| 5 |
Identität |
A∧1 = A |
A∨0 = A |
| 6 |
Nullgesetz |
A∧0 = 0 |
A∨1 = 1 |
| 7 |
Komplementarität |
A∧¬A = 0 |
A∨¬A = 1 |
| 8 |
De Morgan |
¬(A∧B) = ¬A∨¬B |
¬(A∨B) = ¬A∧¬B |
| 9 |
Absorbtion |
A∧(A∨B) = A |
A∨(A∧B) = A |
| 10 |
Reduktion |
A∧(¬A∨B) = A∧B |
A∨(¬A∧B) = A∨B |
| 11 |
Expansion |
(A∨B)∧(A∨¬B) = A |
(A∧B)∨(A∧¬B) = A |
