Tri djaka Milos, Zoran i Petar uce strane jezike: engleski i nemacki. Ako se zna
da bar dvojica govore engleski, i bar dvojica govore nemacki, tada postoji
ucenik koji govori oba jezika. Predstaviti navedenu recenicu u obliku iskazne 
formule, a zatim dokazati da je ona tautologija pomocu SAT resavaca. Kodirati 
u DIMACS formatu i pokrenuti minisat resavac.

