[A-L] (16 Gennaio 2023) Esercizio 8

[FeddyLix17]

La seguente formula proposizionale in CNF è soddisfacibile?

$$ \Large \{\ \{\ p,\ \neg q,\ r,\ s\ \},\ \{\ \neg p,\ q,\ \neg r\ \},\ \{\ \neg r,\ s\ \},\ \{\ \neg q,\ r\ \},\ \{\ p,\ \neg s\ \}\ \} $$

Se si risponde SI definire un assegnamento che la soddisfa, se si risponde NO dimostrare l’insoddisfacibilità usando la regola di Risoluzione.