Техники и принципы однозначного кодирования условий в программировании