Исследуем логические функции и их обозначения