Вот, по поводу поиска.
Пары хочется искать не только И или И-НЕ, но и ИЛИ. Еще полезно было бы П1/!П2. То есть, П1 есть, и у него есть пара, но не П2.
Многовариантные пункты — объединение по И и по ИЛИ как наличия, так и отсутствия.