1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

Venn-Diagramme zu zwei Aussagevariablen

G

A

B

G

A ∪ B

A ∪ \overline{B}

A

\overline{A} ∪ B

B

(A∩B) ∪ (\overline{A∪B})

A∩B

\overline{A∩B}

(\overline{A∩B})∩(A∪B)

\overline{B}

A∩\overline{B}

\overline{A}

\overline{A}∩B

\overline{A∪B}

∅

Mengenalgebra

Aussagenlogik

Mengenalgebra

Aussagenlogik

W

a∨b

a∨¬b

a

¬a∨b

b

(a∧b)∨(¬(a∨b))

a∧b

¬(a∧b)

¬(a∧b)∧(a∨b)

¬b

a∧¬b

¬a

¬a∧b

¬(a∨b)

F

W

a

b

Mengenalgebra

Aussagenlogik

Negation

A_2 = Point(xAxis)
B_1 = Point(xAxis)
F = (-4, -3)
g = Circle(B_1, A_2)
h = Circle(A_2, B_1)
E = Point(Circle[F, 8])
C: F + Vector[F, E] + (0.750000000000001 * OrthogonalVector[Segment[F, E]])
D: F + (0 * Vector[F, E]) + (0.750000000000001 * OrthogonalVector[Segment[F, E]])
v1, f, e, c, d = Polygon(F, E, C, D)
B(x, y) = (x - 1)^(2) + y^(2) < 4
A(x, y) = (x + 1)^(2) + y^(2) < 4
d_1(x, y) = B(x, y) ∧ A(x, y)
GR_x: -4 < x < 4
GR_y: -3 < y < 3
G(x, y) = GR_x(x) ∧ GR_y(y)
f_1: G
f_2(x, y) = A(x, y) ∨ B(x, y)
f_4: A
f_5(x, y) = G(x, y) ∧ ((¬(A(x, y))) ∨ B(x, y))
f_6: B
f_7(x, y) = A(x, y) ∧ B(x, y) ∨ (¬(A(x, y) ∨ B(x, y))) ∧ G(x, y)
f_8(x, y) = A(x, y) ∧ B(x, y)
f_9(x, y) = G(x, y) ∧ (¬(A(x, y) ∧ B(x, y)))
f_{10}(x, y) = (A(x, y) ∨ B(x, y)) ∧ (¬(A(x, y) ∧ B(x, y)))
f_{11}(x, y) = G(x, y) ∧ (¬(B(x, y)))
f_{12}(x, y) = A(x, y) ∧ (¬(B(x, y)))
f_{13}(x, y) = G(x, y) ∧ (¬(A(x, y)))
f_{15}(x, y) = G(x, y) ∧ (¬(A(x, y) ∨ B(x, y)))
w_1 = false
w_2 = true
w_3 = false
w_4 = false
w_5 = false
w_6 = false
w_7 = false
w_8 = false
w_9 = false
w_{10} = false
w_{11} = false
w_{12} = false
w_{13} = false
w_{14} = false
w_{15} = false
w_{16} = false
f_3(x, y) = G(x, y) ∧ (A(x, y) ∨ (¬(B(x, y))))
f_{14}(x, y) = (¬(A(x, y))) ∧ B(x, y)
H = (-7.5, 4.5)
I = (-7.5, -4)
J = (9.5, 4.5)
K = (9.5, -4.5)
a = true
b = true
L = (-7.271339517320773, -4.357746285572896)
M = (-0.4935913697427084, -5.086748266562397)
N = (7.426916639927007, -4.219826991872179)
k = CircumcircleArc(L, M, N)
O = (-7.271339517320773, -4.259232504358098)
P = (-7.350150542292611, -4.416854554301774)
Q = (-7.566880860965166, -4.219826991872179)
d1, q, o, p = Polygon(O, P, Q)
R = (7.387511127441088, -4.081907698171463)
S = (7.446619396169966, -4.298638016844017)
T = (7.70275522732844, -4.121313210657382)
d2, t, r, s = Polygon(R, S, T)