Scribd
Upload
42 views

Axiomatic Definition of Boolean Algebra

Uploaded by

warzonemobilexcalibr
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
42 views

Axiomatic Definition of Boolean Algebra

Uploaded by

warzonemobilexcalibr
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Axiomatic Definition of Boolean Algebra

An axiomatic definition of Boolean algebra establishes it as a mathematical structure

that satisfies a specific set of axioms. Boolean algebra is a complemented distributive

lattice that consists of a set B along with two binary operations (AND, OR) and a unary

operation (NOT), satisfying the following axioms:

1. Closure

For all a, b in B:

- a AND b is in B (meet operation)

- a OR b is in B (join operation)

2. Commutativity

- a AND b = b AND a

- a OR b = b OR a

3. Associativity

- (a AND b) AND c = a AND (b AND c)

- (a OR b) OR c = a OR (b OR c)

4. Distributivity

- a AND (b OR c) = (a AND b) OR (a AND c)

- a OR (b AND c) = (a OR b) AND (a OR c)

5. Identity

There exist two distinct elements, 0 and 1, in B such that:


- a AND 1 = a

- a OR 0 = a

6. Complement

For every a in B, there exists an element a' in B such that:

- a AND a' = 0

- a OR a' = 1

7. Absorption

- a AND (a OR b) = a

- a OR (a AND b) = a

Derived Properties:

- Idempotence: a AND a = a and a OR a = a

- Double Complement: (a')' = a

- De Morgan's Laws:

(a AND b)' = a' OR b'

(a OR b)' = a' AND b'

Examples of Boolean Algebras:

1. Logic: The set {True, False}, with operations AND, OR, and NOT.

2. Set Theory: The power set of any set S, with operations:

- Intersection as AND,

- Union as OR,

- Complement as NOT.

3. Digital Logic: The two states 0 and 1, with binary operations corresponding to logic gates.

You might also like