Определение импликации и таблицы истинности: наглядные примеры