Template talk:Normal forms in logic