Логика: Понимание равенства и эквивалентности