Tiene algunas propiedades que la diferencian de la lógica clásica, la más notable siendo que la propiedad distributiva