Свойства логических операций