1.
Andi adalah seorang mahasiswa
2.
Andi masuk Jurusan Elektro
3.
Setiap mahasiswa elektro pasti
mahasiswa teknik
4.
Kalkulus adalah matakuliah yang
sulit
5.
Setiap mahasiswa teknik pasti akan
suka kalkulus atau akan membencinya
6.
Setiap mahasiswa pasti akan suka
terhadap suatu matakuliah
7.
Mahasiswa yang tidak pernah hadir
pada kuliah matakuliah sulit, maka mereka pasti tidak suka terhadap matakuliah
tersebut
8.
Andi tidak pernah hadir kuliah matakuliah
kalkulus
Maka harus terlebih dahulu diubah ke
dalam bentuk klausa sebagai berikut :
1.mahasiswa (Andi)
2.Elektro (Andi)
3.¬ Elektro (x1) v Teknik (v1)
4.sulit (Kalkulus)
5.¬ Teknik (x2) v suka (x2,
Kalkulus) v benci (x2, Kalkulus)
6.suka (x3, f1 (x3))
7.¬ mahasiswa (x4) v ¬ sulit (y1) v
hadir (x4, y1) v ¬ suka (x4, y1)
8.¬ hadir (Andi, Kalkulus)