Jawab:

[(P and R) or (Q and S) or (not R)].

Penjelasan dengan langkah-langkah:

Untuk menentukan hasil substitusi dari kalimat logika yang diberikan, kita perlu mengganti setiap variabel yang terdapat dalam kalimat tersebut dengan nilai yang sesuai dengan definisi yang diberikan.

Dengan menggunakan definisi yang diberikan, maka hasil substitusi dari kalimat logika yang diberikan adalah sebagai berikut:

(P and not R) or (if Q then (P or (Q and R)))

= {(P and not R) or [(Q and (P or (Q and R))) or (not Q and (P or (Q and R)))]}

= {(P and not R) or [(Q and P) or (Q and (Q and R)) or (not Q and P) or (not Q and (Q and R))]}

= {(P and not R) or [(Q and P) or (Q and Q and R) or (not Q and P)]}

= {(P and not R) or [(Q and P) or R or (not Q and P)]}

= [(P and R) or (Q and S) or (not R)]

Jadi, hasil substitusi dari kalimat logika yang diberikan adalah [(P and R) or (Q and S) or (not R)].