Changes:

Added DNF converter. added new method to calculable, added new test
Finished DNF converter
Added KNF converter
Added table of truth to third test
Added: 
	ClosureClass:
		Abstract class, describing the essence of closure classes.
	ClosureClasses:
		Closure classes factory and implementation of T0, T1 and S closure
classes.
	Test5:
		Test unit for closure classes.
	JPolynomConverter:
		Future Zhygalkin's polynom implementation.
Merge pull request #2 from aivel/sem

Merge pull request from Max
Merge from origin
Merge pull request #3 from SammyVimes/sem

Sem
Merge pull request #4 from SammyVimes/master

move master to edik
Major changes!

FIXED ERROR with KNF, DNF and PARSER;
Implemented Jegalkin Polynomial converter
Fixed error with constants in parser
123
Merge remote-tracking branch 'origin/sem' into edik

Conflicts:
	src/com/danilov/bool4j/test/Test5.java
	src/com/danilov/converter/JPolynomConverter.java
	src/ru/matlog/bool4j/closures/ClosureClasses.java
merge
New closure class
Added:
	M closure class
	TruthTable class
Renamed:
	KNFConverter -> SKNFConverter
	DNFConverter -> SDNFConverter
Merge pull request #5 from aivel/sem

Sem
Merged changes from MAX
Merge pull request #7 from SammyVimes/sem

merging last changes to edik
Update ClosureClasses.java
Merge pull request #8 from aivel/patch-1

Update ClosureClasses.java