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