Bantu temanmu belajar dengan menambahkan soal di Kujawab. Klik disini..

Olimpiade Sains Provinsi (OSP) 2017 - Komputer , Nomor 24 - 25

Deskripsi untuk soal nomor 24 - 25

Untuk p, q dan r yang berupa variabel boolean dan diberikan daftar simbol operator sebagai berikut:

Selanjutnya diberikan 2 pernyataan logika sebagai berikut:
p <=> (((q ^ (p v q)) -> ((q xor r) <=> (q v ~r))) v p)
q <=> ((q ^ (r v q)) -> ((p xor q xor r) -> (q ^ (q v ~q))))

24

Ada berapa kombinasi (p, q, r) sehingga kedua pernyataan logika di atas benar?

25

Jika s <=> ((p -> (q -> (r -> s))) -> (s -> (r -> (q -> p))))),
maka ada berapakah kombinasi (p,q,r,s) sehingga ketiga pernyataan logika tersebut terpenuhi?