Tugas Formal Method

Rolly Maulana Awangga

Untari Novia

1. Mahluk hidup yang bergender berbeda dapat menikah (dengan catatan jenis mahluk
hidupnya sama), sementara yang bergender sama hanya bisa bersahabat. (masukan
dari program adalah nama mahluk hidup dan gender). Luaran kondisi yang mungkin
terjadi, nikah, sahabat, tidak menikah dan tidak bersahabat

Dokumen yang perlu disertakan:

1. Exe file dari proses
2. Algoritma
3. Bentuk formal (predicate logic atau propositional logic) yang digunakan.

Algoritma nya adalah

{menginputkan mahluk ke satu}

Input Nama1

Input Spesies1

Input Gender1

{menginputkan mahluk ke dua}

Input Nama2

Input Spesies2

Input Gender2

If Spesies1 = Spesies2 then

If Gender1 = Gender2 then

Bersahabat(Nama1,Nama2)

⌐ Menikah(Nama1,Nama2)
 Else

Bersahabat(Nama1,Nama2)

Menikah(Nama1,Nama2)

Else

⌐ Bersahabat(Nama1,Nama2)

⌐ Menikah(Nama1,Nama2)

Bentuk formal pernyataan dari kasus diatas adalah :

Diberikan pernyataan :

Spesies(x,z)

Spesies(y,z)

Spesies(v,z)

Spesies(w,z)

Male(x)

Male(w)

Female(y)

Female(v)

Maka hasilnya adalah :

Menikah(x,y)

Menikah(x,v)

Menikah(w,y)

Menikah(w,v)
⌐Menikah(x,w)

⌐Menikah(y,v)

Bersahabat(x,w)

Bersahabat(y,v)

Bersahabat(x,y)

Bersahabat(x,v)

Bersahabat(w,y)

Bersahabat(w,v)