JRel is a Relation manager which aims to be a
useful tool library for any Java application which
needs to cope with relations between operators. It
offers a way to check inconsistencies in a logic
expressions (AND,OR,NOT), and it can translate any
expression to the disjunctive normal form.