Cita: Los atributos de las tablas caracteristicas_hardware y caracteristicas_software, son atributos multievaluados? Osea serán parte de nuevas tablas?
Siempre que una relacion sea N:N, se crea una tabla relacional, porque a nivel de implementación del modelo lógico al físico, no pueden existir campos multivaluados. Por eso se deben crear tablas relacionales que administren esa cardinalidad de forma inequívoca, consistente.
Digamos que no es una regla opcional. Es mandatoria (obligatoria), y está perfectamente descripta en toda la literatura sobre fundamentos de bases de datos.