Added the Ukrainian language.
Added tests for the LogicLexer class.
Improved the simplification.
Fix UI