Alguém indica um modo mais fácil de fazer? rsrs
Fiz convertedo todas as disjunções em implicações:
JBA v ~CBA virou ~JBA -> ~CBA
CBA v ABA virou ~CBA -> ABA
~MBA v ~ABA virou MBA -> ~ABA
MBA v EBA virou ~MBA -> EBA
Depois, além disso, tive que fazer a outra equivalente negando ambas e invertendo:
~JBA -> ~CBA = CBA -> JBA
~CBA -> ABA = ~ABA -> CBA
MBA -> ~ABA virou ABA -> ~MBA
~MBA -> EBA = ~EBA -> MBA
A partir disso, analisando uma por uma, na C cheguei a:
se Elida não é boa aluna, então João é bom aluno.
Aí usei as equivalentes que eu tinha:
(~EBA -> MBA) (MBA -> ~ABA) (~ABA -> CBA) (CBA -> JBA)
Ou seja: ~EBA -> JBA (se Elida não é boa aluna, então João é bom aluno. )
Acredito que haja método mais facil, mas desconheço