Логический калькулятор

Invalid date

- Solved long propositions not displaying fully on screen.
- Deleted floating action button for keyboard control. This saves space for small devices. Now you just have to touch the edit text box to enable the keyboard.
- Now the keyboard is available only when it has to be.
- Fixed "AND" proposition not being loaded from operations theory module.
- Fixed some random bugs.