Закон исключения третьего
Логика