Which of the following is a statement of one of the two De Morgan's laws?
A) ~(p ν q) :: (~p ν ~q)
B) ~(p • q) :: (~p • q)
C) ~(p • q) :: (~p ν ~q)
D) ~(p ν q) :: (p ν ~q)

Question

Which of the following is a statement of one of the two De Morgan's laws?
A) ~(p ν q) :: (~p ν ~q) 
B) ~(p • q) :: (~p • q)
C) ~(p • q) :: (~p ν ~q)
D) ~(p ν q) :: (p ν ~q)

Quizplus · Accepted Answer

De Morgan's laws state that the negation of a conjunction is the disjunction of the negations, and the negation of a disjunction is the conjunction of the negations. Thus, ~(p • q) is equivalent to (~p ν ~q).

Which of the Following Is a Statement of One of the Two