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