"T'as l'air d'avoir compris ça donc tu pourrais m'expliquer ce qu'ils veulent dans la première question?
"
En gros, que tu exprimes les propriétés sous forme de formule logique :
Tu sais que soit les mecs mentent tous, soit disent tous la vérité, donc le premier sujet se met sous forme d'une formule logique toujours vraie :
S = (A^B^C)u(nA^nB^nC)
(Mes notations ^ = et, u = ou et nA = non A)
Puis ensuite, il te donne la conversation en elle-même :
A dit : la bonne salle est le réfectoire ou le gymnase
C dit : le gymnase est pas la bonne salle.
Tu mets leur propos sous forme logique :
A = R u G
C = nG
Puis tu remplaces, tu développes avec la distributivité et les formules de Morgan, et tu trouves que
S = R ^ nG
(Un truc comme ça)
Donc la bonne salle est le réfectoire 