ข้อสอบ PAT 1 - มีนาคม 2555

$$\begin{gathered} \mathrm{จากโจทย์} \left[\left(\mathrm{p}\wedge ~\mathrm{q}\right)\vee ~\mathrm{p}\right]\Rightarrow \left[\left(\mathrm{r}\vee \mathrm{s}\right)\wedge \left(\mathrm{r}\vee ~\mathrm{s}\right)\right] \\ \mathrm{จะได้} \left[\left(\mathrm{p}\vee ~\mathrm{p}\right)\wedge \left(~\mathrm{q}\vee ~\mathrm{p}\right)\right]\Rightarrow \left[\mathrm{r}\vee \left(\mathrm{s}\wedge ~\mathrm{s}\right)\right] \\ \left[\mathrm{T}\wedge \left(~\mathrm{q}\vee ~\mathrm{p}\right)\right]\Rightarrow \left[\mathrm{r}\vee \mathrm{F}\right] \\ \left(~\mathrm{q}\vee ~\mathrm{p}\right)\Rightarrow \left[\mathrm{r}\vee \mathrm{F}\right] \\ \left(~\mathrm{p}\vee ~\mathrm{q}\right)\Rightarrow \mathrm{r} \\ ~\left(~\mathrm{p}\vee ~\mathrm{q}\right)\vee \mathrm{r} \\ \left(\mathrm{p}\wedge \mathrm{q}\right)\vee \mathrm{r} \\ \mathrm{ดังนั้น} \left(\mathrm{p}\vee \mathrm{r}\right)\wedge \left(\mathrm{q}\vee \mathrm{r}\right) \end{gathered}$$