Boolean Algebra is a well known field of study in mathematical logic. In Boolean Algebra (BA), a statement can be represented by a variable; usually p, q, r, etc. Under BA each variable can have the value of either 1 or 0; i.e. the domain is the field of integers mod 2. There are many well-known properties of this field. How can I handle logic of more than two states?