Логика: равносильность и эквивалентность в задачах