Свойства логических операций Закон исключения третьего в логике примеры