Can anyone convert this language to CNF? L= {a^j b^k c^l ; i=j+k , i,j,k>=1}
Help me out for this problem please?