Отрицание! *_*
+ Конъюнкция
+ Дизъюнкция, редактирование и очистка кода
Сделал, вроде все, и вроде даже работает *_*
Исправил импликацию