dh-Materialien
Einführung in Maple    
Übungen
 

Gesetze der Logik

> restart;

Die de Morgan’schen Gesetze:

> b1:= not(p or q):
  b2:= not(p) and not(q):

b1 und b2 sind äquivalent zueinander:

> type(b1 = b2, boolean);

true

> b1:= not(p and q):
  b2:= not(p) or not(q):
  type(b1 = b2, boolean);

true

Die Distributivgesetze bezüglich and und or:

> b1:= p and (q or s);
  b2:= (p and q) or (p and s);
  type(b1 = b2, boolean);

b1 := p and (q or s)
b2 := p and q or p and s
true

Das Folgende gilt auch!!!!!!!

> b1:= p or (q and s);
  b2:= (p or q) and (p or s);
  type(b1 = b2, boolean);

b1 := p or q and s
b2 := (p or q) and (p or s)
true


 Home   Back   Top