Man beweise.... (Boolesche Algebra)

[Christian]

Hi,

Welche 5 Axiome meinst du denn? Mir fallen im Moment nur die Hilbert Axiome ein, aber das sind nur drei.

1. A, B = boolsches Element -> A+B und A*B auch boolsches Element (unwichtiges Axiom)

2. A + 0 = A
   A * 1 = A

3. A + B = B + A
   A * B = B * A

4. A + (B * C) = (A + B) * (A + C)
   A * (B + C) = (A * B) + (A * C)

5. A + ^A = 1
   A * ^A = 0

Christian