Merge pull request #3 from SammyVimes/sem

Sem
Merge pull request #4 from SammyVimes/master

move master to edik
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