P e' soddisfacibile ma non valida.
Sul dominio D = {0, 1} possiamo costruire, per esempio, l'interpretazione E = < D, {}, {A^E ,B^E} >, interpretando entrambi i predicati A^E e B^E come veri su 0 e falsi su 1. In E la formula P e' vera.
Sempre su D possiamo pero' costruire l'interpretazione F =< D, {}, {A^F,B^F}> , dove A^F vale su 0 ma non su 1, e B^F vale su 1 ma non su 0: in F, P e' falsa.
Ovviamente per l'esercizio basta la seconda parte.