Studi Kasus HRIS 2 — Menghitung dari Bagian Terkecil
Studi Kasus HRIS 2 — Menghitung dari Bagian Terkecil
Contoh penerapan tambahan; data simulasi dan pembahasan mandiri.
Simbol berikut mengikuti penetapan pada Tugas 2. U berarti pengajuan dapat diproses, bukan otomatis cuti sudah terjadi atau telah disetujui akhir. Dalam model tugas, P–W merupakan perluasan nama atom dari konvensi P–S pada contoh awal BMP.
| Simbol | Pernyataan |
|---|---|
| P | Karyawan memiliki sisa cuti tahunan |
| Q | Pengajuan disetujui atasan langsung |
| R | Karyawan sedang probation |
| S | Pengajuan mendapat persetujuan HRD |
| T | Kuota cuti departemen pada tanggal itu penuh |
| U | Pengajuan cuti dapat diproses |
| V | Pengajuan cuti ditolak |
| W | Sistem mengirimkan notifikasi kepada karyawan |
Huruf S dan T di sini adalah nama proposisi, sehingga nilai pada tabel ditulis lengkap true/false agar tidak tertukar dengan singkatan salah atau true.
Situasi contoh
Kita menghitung F1 dan F2 pada satu keadaan karyawan, mulai dari bagian terkecil.
Aturan yang diberikan:
| Simbol | Nilai |
|---|---|
| P | true |
| Q | true |
| T | false |
| U | true |
| R | true |
| S | false |
Langkah penyelesaian
Petugas sekarang sudah mempunyai catatan keadaan: saldo ada, atasan setuju, kuota belum penuh, dan pengajuan dapat diproses. Tetapi karyawan sedang probation dan HRD belum setuju. Kita tidak sedang menilai semua keadaan; kita hanya menguji satu interpretasi yang diberikan soal.
F1 bernilai true. Hitung perlahan:
- T=false berarti “kuota penuh” salah. Jadi ¬T=true: kuota tidak penuh.
- Gabungkan saldo dan atasan: P∧Q=true∧true=true.
- Tambahkan kuota: P∧Q∧¬T=true∧true=true.
- U=true. Maka F1 menjadi true⇒true, hasilnya true.
F2 bernilai false. R=true tetapi S=false. Rumus R⇒S menjadi true⇒false, satu-satunya pasangan yang membuat implikasi salah. Artinya, kewajiban HRD pada aturan F2 sesi ini belum dipenuhi.
| Aturan | Anteseden | Konsekuen | Hasil |
|---|---|---|---|
| F1 | true | true | true |
| F2 | true | false | false |
| F1∧F2 | — | — | false, karena salah satu aturan gagal |
Pemeriksaan penting: jangan menyatakan “sistem memenuhi semua aturan” hanya karena F1 benar. F1 lama tidak memuat R maupun S; ia tidak memeriksa probation. F2 pada sesi ini juga sangat luas: ia meminta persetujuan HRD untuk setiap keadaan karyawan probation yang diperiksa, belum mengaitkannya dengan keputusan U.