Логическое отрицание: Круг Эллера и его применения