PanLinx
hrvatski
hrv-000
konjuktivna normalna forma
English
eng-000
conjunctive normal form
PanLex