Formula (x ∧ ¬x) ∨ y ∨ ¬y

If M ∧ N is satisfiable, then

Formula (a ∨ ¬a) ∧ b ∧ ¬b 

Formula (¬a ∨ ¬b) ∧ (a ∨ b) 

оскільки на південь відстань до екватора скорочується, 250 метрів треба відняти від значення 6 065 000, тобто: 6 065 000 м – 250 м = 6 064 750 м. Таким чином, Х = 6 064 750

за допомогою лінійки визначимо, що Дідова Гора розташована на карті на 1 см південніше за горизонтальну лінію. У масштабі 1:25 000 це відповідає відстані на місцевості 250 м

визначимо координату Х. Найближча горизонтальна лінія кілометрової сітки до точки підписана 6065. Це означає: до цієї лінії від екватора — 6065 км або 6 065 000 м 

Дідова Гора розташована між вертикальними лініями з координатами У (у метрах) 4 311 000 і 4 312 000, але ближче до другої, не досягаючи її на 4 мм. У масштабі карти це відповідає на місцевості відстані в 100 м. Отже, 4 312 000 м – 100 м = 4 311 900 м. Тобто координата У = 4 311 900