Изменения

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