add common contradiction

Anatoly03 · Jan 9, 2024 · ad03d18 · ad03d18
1 parent 3d218a9
commit ad03d18
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/papers/cnf/Cnf.pdf b/papers/cnf/Cnf.pdf
diff --git a/papers/cnf/Cnf.tex b/papers/cnf/Cnf.tex
@@ -82,6 +82,19 @@
             \end{tabular}
         \end{center}
 
+        \item[Common Part]
+
+        \[(A + X)\cdot(B + X)\equiv_\text{CNF}(X+AB)\]
+
+        \begin{center}
+            \begin{tabular}{l|c|c|c|c|}
+                \multicolumn{1}{c}{} & \multicolumn{2}{c} X \\ \cline{2-3} \noalign{\vskip\doublerulesep\vskip-\arrayrulewidth} \hhline{~|*{4}{-}}
+                \multicolumn{1}{c||} A &\cellcolor{black} & \cellcolor{black} & \cellcolor{black} & \\ \hhline{~|*{4}{-}}
+                & \cellcolor{black} & \cellcolor{black} && \\ \cline{2-5} \noalign{\vskip\doublerulesep\vskip-\arrayrulewidth} \cline{3-4}
+                \multicolumn{2}{c}{} & \multicolumn{2}{c} B \\
+            \end{tabular}
+        \end{center}
+
     \end{description}
 
 \end{document}