logika xxx: zaprzeczenie zdania: Jeśli posprzątam pokój to pójdę do kina lub na basen

Pytający: (p ⇒ (k ∨ b)) // Jeśli posprzątam pokój to pójdę do kina lub na basen. ∼(p ⇒ (k ∨ b)) // Nieprawda, że jeśli posprzątam pokój to pójdę do kina lub na basen. ⇔ ∼(∼p ∨ (k ∨ b)) // Nieprawda, że nie posprzątam pokoju lub pójdę do kina lub na basen. ⇔ p ∧ ∼(k ∨ b)) // Posprzątam pokój i nie pójdę ani do kina, ani na basen. ⇔ p ∧ ∼k ∧ ∼b // Posprzątam pokój, nie pójdę do kina i nie pójdę na basen.