Violations Checker

Identifikasi

Proposisi (Fakta)

Klik tombol untuk menyalakan (True) atau mematikan (False) kondisi mahasiswa.

verified_user

Hasil Keputusan Akhir

STATUS AMAN

K3 - SAFE STATE

Mahasiswa teridentifikasi aman dari indikasi pelanggaran akademik utama.

Logs

Uji Skenario

20 KASUS

Klik baris skenario untuk memuat data pengujian.

Nama Kasus P Q R S Hasil

Tabel Kebenaran (16 Baris)

Sorotan kuning menandakan baris logika proposisi aktif.

P Q R S K1 K2 K3 Hasil

Aturan Logika

RULE 1 & 2: PELANGGARAN BERAT (K1)

Q ➝ K1 | R ➝ K1

RULE 3: PERINGATAN AKADEMIK (K2)

(P ∧ ¬S) ➝ K2

RULE 4: STATUS AMAN (K3)

(¬Q ∧ ¬R ∧ ¬(P ∧ ¬S)) ➝ K3