\begin{tabular}{|c|c|c||c|c|c|c|}
\hline
\tabhead $A$ & $B$ & $C$ & 
\ $A\lor C$\ & $B \lor \lnot C$ &\ \ \  $KB$\ \ \ &\ \ \ \ $\alpha$\ \ \ \ \\
\hline
\tabtop 
$False$ & $False$ & $False$ & $False$ & $True$ & $False$ & $False$ \\
$False$ & $False$ & $True$ & $True$ & $False$ & $False$ & $False$ \\
$False$ & $True$ & $False$ & $False$ & $True$ & $False$ & $True$ \\
$False$ & $True$ & $True$ & $True$ & $True$ & $True$ & $True$ \\
$True$ & $False$ & $False$ & $True$ & $True$ & $True$ & $True$ \\
$True$ & $False$ & $True$ & $True$ & $False$ & $False$ & $True$ \\
$True$ & $True$ & $False$ & $True$ & $True$ & $True$ & $True$ \\
\tabbot $True$ & $True$ & $True$ & $True$ & $True$ & $True$ & $True$ \\
\hline
\end{tabular}
