Agentes lógicos em prolog - bem simples - mas não consigo

Ola Lucia, A v B é A ou B, se A é verdadeiro ou B for verdadeiro a expressão A ou B é verdadeira (meio como verbalmente funciona). O segundo caso A implica em B é o 'se' da linguagem informal e só é falso quando B é falso e A é verdadeiro, no seu caso A e B são verdadeiras então é verdadeiro. No ítem d pense como o 'se e somente se' da matemática mas nesse caso só tem a volta e não a ida, ele é essencialmente a recíproca do ítem c e as mesmas regras valem. O ítem k é essencialmente o uso do ítem d e b, primeiro você calcula o valor das duas expressões A v D e B v C, como os conectivos são todos 'ou' e em todos os casos temos pelo menos uma proposição verdadeira então as duas expressões são verdadeiras e portanto a expressão como um todo é verdadeira pois temos verdadeiro implicando em verdadeiro.