Is there a name for a boolean operator whose value always equals its left-hand side operand?

48 Views Asked by At

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?

2

There are 2 best solutions below

0
On BEST ANSWER

In general $f(x_1, x_2) = x_1$ is called "projection onto the first factor."

0
On

Projection or identity.

In general, a function that returns the $m$-th of its $n$ arguments is written as $id^n_m$

So your boolean function would be would be $id^2_1$, and thus $id^2_1(P,Q)=P$