ekuivalen jika esti lulus sarjana maka ia akan menikah

esti tidak lulus sarjana atau ia akan menikah
jika esti tidak akan manikah maka ia tidak lulus sarjana
esti akan menikah atau ia tidak lulus sarjana

p = "Esti lulus sarjana"
q = ""Esti akan menikah

Pernyataan tersebut dapat dinyatakan dengan:
p → q

Yang ekuivalen dengan dua pernyataan tersebut:
1.) ¬p v q (Hukum de Morgan)
2.) ¬q → p (kontraposisi)

Sehingga pernyataan tersebut ekuivalen dengan:
Pernyataan 1:
"Esti tidak lulus sarjana atau ia akan menikah"
Pernyataan 2:
"Jika Esti tidak akan menikah, maka ia tidak lulus sarjana"