Изменения

'''Контактная схема''' (англ. ''contact sheme'') представляет собой [[Основные определения теории графов|ориентированный ациклический граф]], на каждом ребре которого написана переменная или ее отрицание (ребра в контактных схемах называют ''контактами'', а вершины {{- --}} ''полюсами'').