Tabella di verità

Ogni funzione booleana si può rappresentare tramite una tabella di verità. Questa tabella avrà $2^n$ righe, dove $n$ è il numero di variabili.

Example

Richiesta: prendiamo la funzione a 3 variabili $f(x,y,z)$ che assume valore 1 se e solo se almeno 2 di queste variabili valgono 1.

Nella tabella avremmo $2^n=2^3=8$ righe con tutte le combinazioni possibili.

$$\begin{array}{rrrr}x& y& z& f(x,y,z)\\ 0& 0& 0& 0\\ 0& 0& 1& 0\\ 0& 1& 0& 0\\ 1& 0& 0& 0\\ 0& 1& 1& 1\\ 1& 0& 1& 1\\ 1& 1& 0& 1\\ 1& 1& 1& 1\end{array}$$