Предикат равенства Х=Y возвращает либо истину, либо ложь (в зависимости от того, что в эти переменные подставляется).  Иначе говоря, эти 2 варианта можно выразить так: Х равно Х, что всегда истинно; Х не равно Х, что всегда ложно.

Ссылка лекцию: https://www.youtube.com/watch?v=FXtxcGne8S0

Но эти же формулы можно использовать для выражения того, что (Х существует) и (Х не существует)

/*Для пустого множества: 
    если (каждое Х, такое что Х нет), 
    то не бывает, чтобы
    (хотя бы одно Х было)*/
    
    /*Для множества, в котором нет хотя бы одного элемента:
    если (хотя бы одно Х, такое что Х нет), 
    то не бывает, чтобы
    (каждое Х было)*/
    
    /*Для не пустого множества:
    если (хотя бы одно Х, такое что Х есть),
    то не бывает, чтобы 
    (каждого Х не было)*/
    
    /*Для множества, в котором каждый элемент существует
    если (каждое Х, такое что Х есть),
    то не бывает, чтобы
    (хотя бы одного Х не было)

Пример:

#include <iostream>
using namespace std;

int main() {
    char x;
    do {
        cout << "x: ";  
        cin >> x;
    } while (x != 'y' && x != 'n');
             //цикл прерываем: ('y' не есть  и  'n' не есть)
    //} while (!(x == 'y' || x == 'n'));
            //цикл прерываем: not ('y' есть или 'n' есть)  

cout << "y/n: " << x << endl;
}

/* Тоже на python
x = input("x: ")
while (x != 'y' and x != 'n'): 
#while not (x == 'y' or x == 'n'):
    x = input("x: ")
print("y/n: ", x)
*/