9. Sınıf Algoritmalarda ve Matematiksel İspatlarda Mantık Bağlaçları ve Niceleyiciler Nedir? Test 2

Bir algoritmada "Tüm öğrenciler sınavı geçti veya bazı öğrenciler sınavı geçemedi" ifadesinin mantıksal eşdeğeri nedir?

A) ∀x P(x) ∨ ∃x ¬P(x)
B) ∀x P(x) ∧ ∃x ¬P(x)
C) ∃x P(x) ∨ ∀x ¬P(x)
D) ∃x P(x) ∧ ∀x ¬P(x)