логическое обозначение

Мат. logical notation