Per indicare che una macchina occupa un posto utilizzo l'iniziale del nome e il numero del posto.

Quindi le tre frasi diventano:

• ~A1 -> B2
• F2
• ~(A1 & ~B3)

Sappiamo già che F occupa il posto 2. Quindi il posto due non può essere occupato da B, quindi B2 è falsa.

Per la prima frase, se B2 è falsa, allora anche ~A1 è falsa, quindi A occupa il posto 1.

Trasformiamo la terza frase utilizzando il teorema di De Morgan:

~A1 | B3

La prima parte, ~A1, è falsa, quindi è vera B3.

Quindi A occupa il posto 1, F il posto 2 e B il posto 3.

Risposta A.

PS: per cortesia non pubblicare foto, altrimenti non è possibile ricercare gli esercizi tramite il testo.