Pagini recente » Monitorul de evaluare | O problema misto | Diferente pentru problema/mcript intre reviziile 6 si 7 | Diferente pentru problema/hypernet intre reviziile 3 si 4 | Diferente pentru problema/logic2 intre reviziile 9 si 4
Diferente intre titluri:
Diferente intre continut:
h2. Date de intrare
Fisierul de intrare $logic2.in$ contine o conversatie. Fiecare linie a fisierului contine cate o afirmatie facuta de un locuitor. Toate liniile incep cu numele interlocutorului (care este o litera mare $A$, $B$, $C$, $D$ sau $E$) urmat de ":" si apoi o afirmatie de forma:
Fisierul de intrare $logic.in$ contine o conversatie. Fiecare linie a fisierului contine cate o afirmatie facuta de un locuitor. Toate liniile incep cu numele interlocutorului (care este o litera mare $A$, $B$, $C$, $D$ sau $E$) urmat de ":" si apoi o afirmatie de forma:
* Eu [nu] mint.
* Eu [nu] sunt {divin | om | malefic}.
h2. Date de iesire
Fisierul $logic2.out$ va contine tot ceea ce se poate deduce in urmatoarea forma:
Fisierul $logic.out$ va contine tot ceea ce se poate deduce in urmatoarea forma:
* X este {divin | malefic | om}.
* Este {zi | noapte}.
B este divin.
|
h3. Explicatie
Este evident ca A minte deoarece cele doua afirmatii ale lui sunt contradictorii. Deci B nu poate fi nici om, nici malefic, deci el este divin. B spune intotdeauna adevarul, deci A trebuie sa fie malefic.
== include(page="template/taskfooter" task_id="logic2") ==
Nu exista diferente intre securitate.
Diferente intre topic forum:
