Boolean Algebra

Any equation must be within the <math> </math> tags. For Boolean alegbra the main issue is how to negate a term like:

$\overline{a}$ or $\overline{\overline{a}+b}$

this can be done by adding the following around any term you wish to negate.:

<math> \overline{} </math>  

$\overline{a}$

is

 <math> \overline{a} </math>

$\overline{\overline{a}+b}$

is

 <math> \overline{\overline{a}+b} </math>.

Identities

AND Identities

$A = A$

This equation means that the output is determined by the value of A. So if A =0, The output is 0, and vice versa.

$0.A = 0$

Because there is a 0 in this equation, the output of this will always be 0 regardless of the value of A.

$A.A = A$

The output is determined by A alone in this equation. This can be simplified to just "A".

$A.\overline{A}=0$

OR Identities

$0+A = A$

"If 0 or A goes in, A is the output"

$1+A = 1$

"If 1 or A goes in, 1 is the output"

$\overline{A}+1=1$

"If NOT A or 1 goes in, the output is 1"

$\overline{A}+A=1$

"If NOT A or A goes in, the output is 1"

Laws

Commutative Law

The Commutative Law is where equations are the same no matter what way around the letters are written. For example

[math] A+B=B+A [/math]

or

[math] A.B=B.A [/math]

Laws

Distributive Law

The distributive law is these two equations.

$A.(B+C) = A.B + A.C$

$A+(B.C) = (A+B).(A+C)$

Redundancy Law

$\overline{A} = \overline{A}$ or $\overline{\overline{A}} = A$

Identity Law

$A+A = A$

Equations

Solving equations is a matter of applying the laws of boolean algrebra, followed by any of the identities you can find: