TUGAS 2 – LOGIKA INFORMATIKA

Isi dokumen

TUGAS 2 – LOGIKA INFORMATIKA Pada sesi 4, mahasiswa mendiskusikan bahwa aturan lama belum cukup kuat karena belum mempertimbangkan kondisi karyawan probation. Pada tugas ini, mahasiswa menggunakan konsep substitusi kalimat untuk memperbaiki aturan lama menjadi aturan baru yang lebih lengkap. Berdasarkan hasil diskusi validitas pada sesi 4, lakukan substitusi total dan/atau substitusi parsial terhadap aturan persetujuan cuti karyawan agar aturan lama yang belum mempertimbangkan status probation dapat diperbaiki menjadi aturan baru yang lebih lengkap. Jelaskan hasil substitusi dan perubahan maknanya dalam konteks sistem HRIS. Aturan Lama F0 = if (P and Q and not T) then U Simbol Makna P Karyawan memiliki sisa cuti tahunan Q Pengajuan cuti disetujui atasan T Kuota cuti departemen penuh R
Karyawan sedang probation S Pengajuan cuti disetujui HRD U Pengajuan cuti dapat diproses Substitusi Total Bagian yang diganti adalah P and Q and not T. Bagian tersebut diganti menjadi P and Q and not T and (if R then S). F0 tau {(P and Q and not T) <- (P and Q and not T and (if R then S))} Hasil substitusi total: F1 = if (P and Q and not T and (if R then S)) then U Substitusi Parsial Gunakan aturan gabungan berikut: F2 = (if (P and Q and not T) then U) and (if V then W) Lakukan substitusi hanya pada bagian aturan pemrosesan cuti sehingga aturan notifikasi tetap tidak berubah. Hasilnya:
F2' = (if (P and Q and not T and (if R then S)) then U) and (if V then W) Bagian yang Harus Dikerjakan

1. Tuliskan aturan lama F0.

2. Jelaskan kelemahan aturan lama berdasarkan hasil diskusi sesi 4.

3. Tentukan bagian kalimat yang akan diganti.

4. Lakukan substitusi total dan tuliskan hasilnya.

5. Lakukan satu contoh substitusi parsial dan tuliskan hasilnya.

6. Bandingkan makna aturan lama dan aturan baru.

7. Jelaskan mengapa aturan baru lebih sesuai untuk sistem HRIS.

8. Buat kesimpulan. Gunakan Template Tugas 2 untuk menjawab!!!. JAWAB

1. Aturan Lama F0 Aturan lama persetujuan cuti karyawan dinyatakan dalam bentuk logika proposisional berikut: F0 = if (P and Q and not T) then U Keterangan simbol:  P = Karyawan memiliki sisa cuti tahunan.  Q = Pengajuan cuti disetujui atasan.  T = Kuota cuti departemen penuh.  R = Karyawan sedang probation.  S = Pengajuan cuti disetujui HRD.
 U = Pengajuan cuti dapat diproses.

Referensi terkait