== include(page="template/taskheader" task_id="amlei") ==

Poveste si cerinta...

Se dau doua formule logice interesante in (aceleasi) $n$ variabile $a{~1~}$, $a{~2~}$, ... $a{~n~}$. O formula logica este interesanta daca si numai daca este o disjunctie de conjunctii elementare. O conjunctie elementara este o formula de tipul $b{~1~}$ AND $b{~2~}$ AND ... AND $b{~n~}$, unde $b{~i~}$ este $a{~i~}$ sau NOT $a{~i~}$ , unde NOT $a{~i~}$ este negatia variabilei $a{~i~}$. Un exemplu de formula interesanta in 3 variabile independente este ( $a{~1~}$ AND NOT $a{~3~}$ AND $a{~2~}$ ) OR ( $a{~3~}$ AND NOT $a{~1~}$ AND NOT $a{~2~}$ ).
 
Dandu-se doua formule elementare in variabilele $a{~1~}$, $a{~2~}$, ... $a{~n~}$, aflati daca ele sunt sau nu echivalente (adica pentru orice distributie de valori de adevar a celor $n$, formulele produc acelasi rezultate (TRUE, respectiv FALSE).

h2. Date de intrare

...

Fisierul $amlei.in$ contine $W$ teste. Pe prima linie a fiecarui test se gasesc numerele naturale $n$, $t$ si $u$, unde $t$ si $u$ reprezinta numarul de conjunctii elementare din care sunt formate fiecare din cele doua formule. Pe a doua linie se afla $n*t$ numere intregi nenule cuprinse intre $-n$ si $n$, reprezentand variabilele din prima formula atunci cand ignoram parantezele si convenim ca $i$ si $-i$ semnifica $a{~i~}$, respectiv NOT $a{~i~}$. Pe a treia linie este descrisa in mod similar cea de-a doua formula prin $n*u$ numere intregi.
 
De exemplu, formula ( $a{~1~}$ AND NOT $a{~3~}$ AND $a{~2~}$ ) OR ( $a{~3~}$ AND NOT $a{~1~}$ AND NOT $a{~2~}$ ) ar fi descrisa prin secventa de numere: $1 -3 2 3 -1 -2$.

h2. Date de iesire

...

Pentru fiecare din cele $W$ teste se va afisa pe cate o linie a fisierului $amlei.out$ "DA" sau "NU" (fara ghilimele), atunci cand cele doua formule sunt sau nu sunt echivalente.

h2. Restrictii

... ≤ ...

1 ≤ $W$ ≤ 10
1 ≤ $n$ ≤ 50
1 ≤ $t$ , $u$ ≤ 500

h2. Exemplu
table(example). |_. amlei.in |_. amlei.out |

| This is some
  text written on
  multiple lines.
| This is another
  text written on
  multiple lines.

| 3 3 4
1 -2 -3 3 1 2 2 -1 3
2 -1 3 -3 -1 2 3 -1 2 2 1 -3
3 3 4
-3 -2 -1 3 1 2 -2 3 -1
1 2 3 -3 -2 -1 -1 -3 -2 -1 -2 3
| NU
DA

|

h3. Explicatie
 
...
 

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