Joole: A Java tool to evaluate Boolean expressions

Download

You can

download the source code. It is a ZIP-archive which contains four Java files and the JPEG-logo. They are well-documented - in German !
Sorry, English guys ...

No English Translation

Yes, I have to admit: the applet uses the German language.
To avoid English visitors being disappointed here is the shortest "German for Foreigners" course ever seen:

Ausdruck	expression
Auswerten !	Evaluate !
erhaltend	maintaining
monoton	monotone
selbstdual	?self-dual?
linear	linear

The abbreviations DNF, KNF and ANF are acronyms for disjunctive, conjunctive and antivalent normalized expression.

German In-Depth description

Before programming Joole I developed a tool called LieMachine. The basic function is the same - it is just a MS Windows application written entirely in C++. I created a German documentation for the LieMachine which is quite old but still available.
Joole is contains more features than the LieMachine, therefore the C++ code is just a subset of the Java code.

navigator: home

programming

Joole: A Java tool to evaluate Boolean expressions

Joole

Loading the applet may last a few seconds (≈ 30 KBytes).
Enough time to read the short documentation below.

Note: The Java-code consists of pure Java (no platform-dependent code) and compiles seamlessly with Sun JDK 1.3 . If you encounter any problems, please

drop me a line.

Please don't enter something like f(x)=a and (b or c),
a correct expression is a and (b or c) (without leading f(x)=) !

Short documentation

You can use up to 8 variables named a,b,c,...,h. Their position as parameters for the logical function is determined by their position in the alphabet, that means that for a&b the term f(0,1) stands for a=0 and b=1.

The expressions may be written in three different styles: German, English and C. You can use any language at any time, mix them in any way and swear at them in any slang.
To clearify this point take a look at the table:

Logical expression	German	English	C

	nicht	not	!
	und	and	&
	oder	or	\|
	xor	xor	+
	only C-style !		=
	only C-style !		>

These operations are ordered by their priority whereas the Not-operation has the highest one (and thus Implies the lowest one, of course).
To increase performance, any German or English named operation will be auto-converted into the C-style equivalent symbol by Joole.