Re: Aumentare lo spazio in una tabella

Non c’è alcun disallineamento se usi \\[], ma con booktabs è meglio \addlinespace che ha anche un argomento opzionale. Ti propongo una versione diversa:
`\begin{table}
\newcommand{\mc}{\mathcal}
\newcommand{\eeq}{\equiv}
\newcolumntype{R}{>{$}r<{$}} \newcolumntype{L}{>{$}l<{$}} \newcolumntype{C}{>{${}}c<{{}$}} \centering\footnotesize \begin{tabular}{l*{2}{R@{}C@{}L}} \toprule \textsl{nome} & & \makebox[0pt]{\slshape propriet‡} & & \makebox[0pt]{\slshape propriet‡ duale} \\ \midrule associativa & (\mc{A}\land\mc{B})\land\mc{C} &\eeq& \mc{A}\land(\mc{B}\land\mc{C}) & (\mc{A}\lor\mc{B})\lor\mc{C} &\eeq& \mc{A}\lor(\mc{B}\lor\mc{C}) \\ commutativa & \mc{A}\land\mc{B} &\eeq& \mc{B}\land\mc{A} & \mc{A}\lor\mc{B} &\eeq& \mc{B}\lor\mc{A} \\ distributiva & \mc{A}\land(\mc{B}\lor\mc{C}) &\eeq& (\mc{A}\land\mc{B})\lor(\mc{A}\land\mc{C}) & \mc{A}\lor(\mc{B}\land\mc{C}) &\eeq& (\mc{A}\lor\mc{B})\land(\mc{A}\lor\mc{C}) \\ di assorbimento & \mc{A}\land(\mc{B}\lor\mc{A}) &\eeq& \mc{A} & \mc{A}\lor(\mc{B}\land\mc{A}) &\eeq& \mc{A} \\ elemento neutro & \mc{A}\land\top &\eeq& \mc{A} & \mc{A}\lor\bot &\eeq& \mc{A} \\ complementazione & \mc{A}\land\lnot\mc{A} &\eeq& \bot & \mc{A} \lor \lnot\mc{A} &\eeq& \top \\ leggi de De Morgan & \lnot(\mc{A}\land\mc{B}) &\eeq& \lnot\mc{A}\lor\lnot\mc{B} & \lnot(\mc{A}\lor\mc{B}) &\eeq& \lnot\mc{A}\land\lnot\mc{B} \\ idempotenza & \mc{A}\land\mc{A} &\eeq& \mc{A} & \mc{A}\lor\mc{A} &\eeq& \mc{A} \\ \addlinespace involuzione\footnotemark & \lnot\lnot\mc{A} &\eeq& \mc{A} \\ implicazione & \mc{A}\implies\mc{B} &\eeq& \lnot\mc{A}\lor\mc{B} \\ equivalenza & \mc{A}\iff\mc{B} &\eeq& \makebox[0pt][l]{$(\mc{A}\implies\mc{B})\land(\mc{B}\implies\mc{A})$} \\ \bottomrule \end{tabular} \end{table}` A parte la definizione di comandi ausiliari locali per tenere compatto il codice, la variante più importante è l'introduzione di una nuova coppia di colonne riservate al simbolo di equivalenza sul quale sono centrate anche le intestazioni (rese di larghezza zero con \makebox[0pt]). L'altra variante è che le ultime proprietà stanno da una parte e non penzolanti in mezzo (che non è nemmeno il mezzo, fra l'altro). L'ultima, che aumenta troppo l'ampiezza della quarta colonna l'ho trattata allo stesso modo, rendendola di ampiezza zero; sborda un po', ma non si nota perché è l'ultima. Personalmente rinuncerei all'allineamento dei segni di equivalenza: c'è troppo ondeggiamento su entrambi i lati. Ma sono scelte dipendenti dal gusto. Secondo me \iff è un simbolo troppo grande, meglio \Leftrightarrow. E forse sono anche meglio le frecce "singole", ma qui si può discutere. Ciao Enrico