File talk:3SAT reduced too VC(1).svg

Is this a vertex cover?
Shouldn't the B in the first clause gadget be in the Vertex Cover?