Tavole di Verità – Connettivi Logici
Congiunzione $\land$
| p | q | p $\land$ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Disgiunzione inclusiva $\lor$
| p | q | p $\lor$ q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Negazione $\lnot$
| p | $\lnot$ p |
|---|---|
| V | F |
| F | V |
Implicazione $\Rightarrow$
| p | q | p $\Rightarrow$ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Doppia implicazione $\Leftrightarrow$
| p | q | p $\Leftrightarrow$ q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |