Логика в действии: обозначения логических операций