Таблица логических операций: импликация и её использование