Given a binary boolean function with truth table as follows:
|-----------|
| 0 | 0 | 0 |
|---|---|---|
| 0 | 1 | 0 |
|---|---|---|
| 1 | 0 | 1 |
|---|---|---|
| 1 | 1 | 1 |
|-----------|
I am wondering if this function has a name in academia?
In general $f(x_1, x_2) = x_1$ is called "projection onto the first factor."