Re: 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.