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