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