Pernyataan Jika Andi lulus ujian, maka Adi akan membeli sepeda, senilai dengan petunjuk jawaban p → q Ng: gunakan penyelesaian

p = Andi lulus ujian
q = Andi akan membeli sepeda

p → q ≡ ~p ∨ q  ≡  ~q → ~p

~p ∨ q
Andi tidak lulus ujian atau Andi akan membelli sepeda

~q → ~p
Jika Andi tidak membeli sepeda maka Andi tidak lulus.