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?
