Find the negation of the proposition: “Michael’s PC runs Linux”

• A. “It is not the case that Michael’s PC runs Linux.”
• B. “Michael’s PC does not run Linux.”
• C. Both a and b
• D. Only a