Preliminaries In this section we site the fundamental definitions that will be used in the sequel. Definition 2.1[13] A non empty set X with a constant 0 and a binary operation * is called a KU-algebra if it satisfies the following axioms. 1. (x * y) *[(y * z) * (x * z) ] = 0 2. 0 * x = x 3. x * 0 = 0 4. x * y = 0 = y * x implies x = y , for all x, y , z X