Maple-Worksheet: Logik

Einführung in Maple Übungen

Mathematik

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