Negasi dari pernyataan "jika pengemudi tidak membawa SIM maka dia akan ditilang petugas"

Pembahasan:
Rumus : ~ (p ⇒ q) ☰ p โดท ~q
Jika pengemudi tidak membawa SIM maka dia akan ditilang petugas.
Negasi:
Pengemudi tidak membawa SIM dan dia tidak ditilang petugas.