x = 1001
y = 1000
x | y є 1001