| | $C_1$ | | |
|---|
| $P$ | $Q$ | $P \lor Q$ | $ \lnot C_1$ |
|---|
| $\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}}~}$ |
| $\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}}~}$ |
| $\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}}~}$ |
| $\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}}~}$ |