Stáhněte si soubor du3 a dopište fci formulaToCnf

Deadline: 25.6. 20:00