Nhờ bổ đề này mà ta chứng minh Sheffer stroke có tính không kết hợp, viết lại instruction-64 $\left ( x\mid y \right )\mid\left ( y\mid y \right )$, vế phải cùng lúc là đơn biến $y$ và $x\mid x$ (vô lý).
Nên chọn được instruction-22 với -64 vì có thành phần $x$ đang duy nhất và nằm ngoài cùng bên trái.
Sẽ không thể có $x\mid x= y$ mặc cho $\left ( x\mid y \right )\mid\left ( y\mid y \right )= y, \quad x\mid\left ( y\mid\left ( y\mid y \right ) \right )= x\mid x\quad\wedge\quad\cdots assoc$.
Bài viết đã được chỉnh sửa nội dung bởi DOTOANNANG: 19-10-2023 - 20:47