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