tavole di verità [risolto]

Salve. Mi potreste indicare per cortesia come scrivere delle tavole di verità con latex?

Ho fatto una rapida ricerca su Sarovar, ma non ho trovato strumenti specifici. Sicuro che non bastino gli strumenti standard di LaTeX (ambiente tabular, pacchetto booktabs e simboli logici, per intenderci)?

Ciao,
L.

Ma che problema ti dà usare una tabella non flottante (ovvero l’ambiente tabular senza inserirlo nel flottante table)? Cosi’ i valori saranno allineati e aggiungerai solo la linea orizzontale. Non capisco come si possa fare piu’ semplice.

Ho preso l’esempio da wikipedia:
`Ad esempio la seguente tabella rappresenta la funzione booleana V = XY + XZ + YZ = X AND Y OR X AND Z OR Y AND Z esprimibile anche come $v = (x \wedge y) \vee (x \wedge z) \vee (y \wedge z)$:
\begin{center}
\begin{tabular}{cccc}
X & Y & Z & $(x \wedge y) \vee (x \wedge z) \vee (y \wedge z)$\\
\hline
F & F & F & F\\
F & F & V & F\\
F & V & F & F\\
F & V & V & V\\
V & F & F & F\\
V & F & V & V\\
V & V & F & V\\
V & V & V & V\\
\end{tabular}\end{center}

blablabla
`

Puoi anche sbizzarrirti con i colori
`Ad esempio la seguente tabella rappresenta la funzione booleana V = XY + XZ + YZ = X AND Y OR X AND Z OR Y AND Z esprimibile anche come $v = (x \wedge y) \vee (x \wedge z) \vee (y \wedge z)$:
\begin{center}
\rowcolors{2}{green!25}{yellow!50}
\arrayrulecolor{red!75!gray}
\begin{tabular}{cccc}
X & Y & Z & $(x \wedge y) \vee (x \wedge z) \vee (y \wedge z)$\\
\hline
F & F & F & F\\
F & F & V & F\\
F & V & F & F\\
F & V & V & V\\
V & F & F & F\\
V & F & V & V\\
V & V & F & V\\
V & V & V & V\\
\end{tabular}\end{center}

blablabla
`