Logica Matematica: formule soddisfacibili e tavole di verità

[WhiteC]

Ciao ragazzi, sto svolgendo esercizi con questa traccia:
"stabilire se le seguenti formule sono soddisfacibili, tautologie o contraddizioni."

Studiando la teoria posso dire che, utilizzando le tavole di verità, la tautologia la otterrò quando dalla tavola di verità tutti i miei valori saranno "veri" (assegno 1).. otterrò una contraddizione quando il risultato della mia tavola della verità sarà dato da tutti 0... come faccio, utilizzando la tavola della verità, a dire che le formule sono soddisfacibili?
Grazie in anticipo

[G.D.5]

Qual è la definizione di formula soddisfacibile?

[WhiteC]

Una formula proposizionale X `e soddisfacibile se v |=X, perqualche valutazione booleana v.

Credo,dunque, che usando le tavole di verità , dovrò avere "un misto" di 1 e 0 ?

[G.D.5]

Esatto. Ti serve almeno un \( 1 \) (se con questo indichi il valore "vero") nella tavola di verità nella colonna della formula.