logic2

Logic2

h2. Date de intrare

    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:

    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:

* Eu [nu] mint.
* Eu [nu] sunt {divin | om | malefic}.

h2. Date de iesire

    Fisierul $logic.out$ va contine tot ceea ce se poate deduce in urmatoarea forma:

    Fisierul $logic2.out$ va contine tot ceea ce se poate deduce in urmatoarea forma:

* X este {divin | malefic | om}.
* Este {zi | noapte}.

== include(page="template/taskfooter" task_id="logic2") ==

2204