Logicke vyroky

Dobrý den, potřeboval bych poradit s následujícím příkladem:

Které z následujících formulí odpovídají tvrzení o přirozeném číslu n, n>1: "n je prvočíslo."?

A: (∀k∈N)(∀l∈N)((n=k⋅l)∧(k=1∨l=1))

B: (∀k∈N)(∀l∈N)((n=k⋅l)⇒(k=1∨l=1))

C: (∀k∈N)(∃l∈N)((n=k⋅l)⇒(k=1))

D: (∀k∈N)(∀l∈N)((n=k⋅l)⇒(k=n∨k=1))