Исследуем мир логических выражений и их обозначений