$C_1$ | |||
---|---|---|---|
$P$ | $P \lor P$ | $P \lor C_1$ | |
$\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{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}}~}$ |
$C_1$ | |||
---|---|---|---|
$P$ | $P \lor P$ | $P \lor C_1$ | |
$\mathsf{T}$ | $[\mathsf{T}]$ | $[\mathsf{T}]$ | |
$\mathsf{F}$ | $[\mathsf{F}]$ | $[\mathsf{F}]$ |