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