| | | $C_1$ | $C_2$ | $C_3$ | | |
---|
$P$ | $Q$ | $R$ | $P \land R$ | $C_1 \lor Q$ | $R \Rightarrow P$ | $C_2 \Rightarrow C_3$ |
---|
$\mathsf{T}$ | $\mathsf{T}$ | $\mathsf{T}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r0c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r0c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r0c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r0c3}}\hspace{35px}}~}$ |
$\mathsf{T}$ | $\mathsf{T}$ | $\mathsf{F}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r1c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r1c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r1c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r1c3}}\hspace{35px}}~}$ |
$\mathsf{T}$ | $\mathsf{F}$ | $\mathsf{T}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r2c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r2c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r2c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r2c3}}\hspace{35px}}~}$ |
$\mathsf{T}$ | $\mathsf{F}$ | $\mathsf{F}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r3c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r3c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r3c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r3c3}}\hspace{35px}}~}$ |
$\mathsf{F}$ | $\mathsf{T}$ | $\mathsf{T}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r4c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r4c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r4c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r4c3}}\hspace{35px}}~}$ |
$\mathsf{F}$ | $\mathsf{T}$ | $\mathsf{F}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r5c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r5c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r5c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r5c3}}\hspace{35px}}~}$ |
$\mathsf{F}$ | $\mathsf{F}$ | $\mathsf{T}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r6c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r6c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r6c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r6c3}}\hspace{35px}}~}$ |
$\mathsf{F}$ | $\mathsf{F}$ | $\mathsf{F}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r7c0}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r7c1}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r7c2}}\hspace{35px}}~}$ | $\class{inputBox step1}{~\bbox[border:2px solid blue]{\strut\rlap{\class{inputReplace}{r7c3}}\hspace{35px}}~}$ |