Series Logo
Volume 00 xx
Some Fundamental Prop erties of Bo olean Ring Normal
Forms
Jieh Hsiang and Guan Shieng Huang
Abstract Bo olean ring is an algebraic structure which uses exclusiv e or
instead of the usual or It yields a unique normal form for every Bo olean
function In this pap er we present several fundamental prop erties concerning
Bo olean rings We present a simple metho d for deriving the Bo olean ring nor
mal form directly from a truth table We also describ e a notion of normal form
of a Bo olean function with a don t care condition and show an algorithm for
generating such a normal form We then discuss two Bo olean ring based theo
rem proving metho ds for prop ositional logic Finally we give some arguments
on why the Bo olean ring representation had not b een used more extensively
and how it can b e used in computing