1) It greatly depends how the functions and variables are defined, but I'll assume learn(a,b,c) := a learns topic b in area c
and the other 2 defined as per what would be assumed. You basically have it right, you just forgot the and aren't distracted
:
"There exists a topic such that all students who learn this topic in Artificial Intelligence and aren't distracted will pass the Artificial Intelligence exam."
2) ... all disjunctions of literals are in CNF. So this means the example is already in CNF.