Логические выражения обозначения