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}.
* X [nu] minte.
* X [nu] este {divin | om | malefic}.
* Este {zi | noapte}.

    Cuvintele care sunt cuprinse intre paranteze patrate pot aparea sau nu in afirmatie. Dintre cuvintele cuprinse intre acolade, apare exact un cuvant in afirmatie. O conversatie poate avea cel mult 50 afirmatii.
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}.

    X se inlocuieste cu numele interlocutorului. Faptele trebuie date in ordine alfabetica, sortate dupa numele interlocutorilor, iar apoi se spune daca e zi sau noapte.  Daca nu se poate deduce nimic se va tipari "Nu se poate deduce nimic.", iar daca conversatia nu respecta regulile de mai sus se va tipari "Imposibil.".
h2. Exemplu
table(example). |_. logic2.in |_. logic2.out |

| A: Eu sunt divin.
| Nu se poate deduce nimic.
|
 
 
 
table(example). |_. logic2.in |_. logic2.out |
| A: Eu mint.
| Imposibil.
|
 
 
 
table(example). |_. logic2.in |_. logic2.out |
| A: Eu sunt malefic.
| A este om.
Este noapte.
|
 
 
 
table(example). |_. logic2.in |_. logic2.out |

| A: B este om.
B: A este malefic.
A: B este malefic

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") ==

2204