Conjunctive normal form solved examples. Kepanjangan gbk wikipedia. C2h3oh structure. Berner Schwingfeste 2025.