1、要么K要么X要么KX---
2、要么L要么W ---推出----LW不能同时存在但不是L就是W
3、如果是A,那么也是L
4、要么是WK要么不是WK--推出---W=K
5、如果是X,那么就是AK
一、先从带假设的判断开始,从第5个推理,是X,那么就是A和K;有K那么依据第4也有W;有A那么依据第3也有L;但是依据第2,LW不可同时存在,所以第5是不成立的,不是X.
二、再推理第3个,如果是A,那么就有L;依据第2,没有W;依据第4就没有K;依据第1,得出有X;但刚才已证明不是X,所以这个也不成立,不是A.
结论:这样依据第一个推论得出,没有X,那自然就有K,有K自然就有W,有W自然没有L.
聊天的是KW.