Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета

По данной дизъюнктивной нормальной форме $A$ логической длины $l$ строится граф $\Gamma$, такой, что число ребер $\Gamma$ равно $c\cdot l$ и вершины $\Gamma$ можно раскрасить в три цвета тогда и только тогда, когда $A$ не тавтология