Добавлена импликация, исправлен порядок вывод таблицы истинности