Ekspresikan spesifikasi sistem ini menggunakan konektifitas logis dan proposisi atom berikut: p : "pengguna memasukkan kata sandi yang valid" T: "Akses diberikan" r : "Pengguna telah membayar biaya berlangganan". a) [10 poin] "Pengguna memasukkan kata sandi yang valid, tetapi akses tidak diberikan." MENJAWAB: b) [10 poin] "Pengguna telah membayar biaya berlangganan, tetapi tidak memasukkan kata sandi yang valid" MENJAWAB: c) [10 poin] "Akses ditolak (tidak diberikan) jika pengguna belum membayar biaya berlangganan" MENJAWAB: d) [10 poin] "Akses diberikan setiap kali pengguna telah membayar biaya berlangganan dan memasukkan kata sandi yang valid" MENJAWAB: e) [10 poin] "Jika pengguna belum memasukkan kata sandi yang valid tetapi telah membayar biaya berlangganan, maka akses diberikan"
Jawaban:
a) p ∧ ¬T
b) r ∧ ¬p
c) ¬r → ¬T
d) r ∧ p → T
e) r ∧ ¬p → T