Ecco la mia tabella:
`
\begin{tabular}{l*{2}{>{$}r<{$}@{$\mathbin{}\equiv\mathbin{}$}>{$}l<{$}}}
\toprule
\textsl{nome} & \multicolumn{2}{c}{\slshape proprietà} & \multicolumn{2}{c}{\slshape proprietà duale} \\
\midrule
associativa & (\mathcal{A}\land\mathcal{B})\land\mathcal{C} & \mathcal{A}\land(\mathcal{B}\land\mathcal{C}) & (\mathcal{A}\lor\mathcal{B})\lor\mathcal{C} & \mathcal{A}\lor(\mathcal{B}\lor\mathcal{C}) \\
commutativa & \mathcal{A}\land\mathcal{B} & \mathcal{B}\land\mathcal{A} & \mathcal{A}\lor\mathcal{B} & \mathcal{B}\lor\mathcal{A} \\
distributiva & \mathcal{A}\land(\mathcal{B}\lor\mathcal{C}) & (\mathcal{A}\land\mathcal{B})\lor(\mathcal{A}\land\mathcal{C}) & \mathcal{A}\lor(\mathcal{B}\land\mathcal{C}) & (\mathcal{A}\lor\mathcal{B})\land(\mathcal{A}\lor\mathcal{C}) \\
di assorbimento & \mathcal{A}\land(\mathcal{B}\lor\mathcal{A}) & \mathcal{A} & \mathcal{A}\lor(\mathcal{B}\land\mathcal{A}) & \mathcal{A} \\
elemento neutro & \mathcal{A}\land\top & \mathcal{A} & \mathcal{A}\lor\bot & \mathcal{A} \\
complementazione & \mathcal{A}\land\lnot\mathcal{A} & \bot & \mathcal{A} \lor \lnot\mathcal{A} & \top \\
leggi de De Morgan & \lnot(\mathcal{A}\land\mathcal{B}) & \lnot\mathcal{A}\lor\lnot\mathcal{B} & \lnot(\mathcal{A}\lor\mathcal{B}) & \lnot\mathcal{A}\land\lnot\mathcal{B} \\
idempotenza & \mathcal{A}\land\mathcal{A} & \mathcal{A} & \mathcal{A}\lor\mathcal{A} & \mathcal{A} \\
involuzione\footnotemark & \multicolumn{4}{c}{$\lnot\lnot\mathcal{A} \equiv\mathcal{A}$} \\
implicazione & \multicolumn{4}{c}{$\mathcal{A}\implies\mathcal{B} \equiv\lnot\mathcal{A}\lor\mathcal{B}$} \\
equivalenza & \multicolumn{4}{c}{$\mathcal{A}\iff\mathcal{B} \equiv (\mathcal{A}\implies\mathcal{B})\land(\mathcal{B}\implies\mathcal{A})$} \\
\bottomrule
\end{tabular}
`
Così com'è fa un po' schifo e non entra nella pagina, sicché l'ho messa dentro figure con il carattere \footnotesize.
Ciao,
Andrea