Maple-Worksheet: Logik

Gesetze der Logik

> restart;

> b1:= not(p or q):

b2:= not(p) and not(q):

b1 und b2 sind äquivalent zueinander:

> type(b1 = b2, boolean);

> b1:= not(p and q):

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

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);

Das Folgende gilt auch!!!!!!!

> b1:= p or (q and s);

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