метод виключення

Спосіб розв'язання логічних пар, за яким спершу встановлюють однозначні пари, а для решти цифр порівнюють лише букви, що лишилися, підтверджуючи кожну пару окремим доказом.