这个布尔定律叫什么?

bro*_*s94 2 logic boolean-logic boolean boolean-expression first-order-logic

我认为这总是如此

x || (x && y) 
Run Code Online (Sandbox Code Playgroud)

相当于

x
Run Code Online (Sandbox Code Playgroud)

如果是这样,那法律叫什么?我甚至不确定谷歌会如何做到这一点.