Special:EditPage/Template:Normal forms in logic