1. 很厉害的程序员 => 读过CSAPP,SICP,操作系统,算法导论,编译原理这些书
2. 读过CSAPP,SICP,操作系统,算法导论,编译原理这些书 => 很厉害的程序员
3. 大多数很厉害的程序员 => 读过CSAPP,SICP,操作系统,算法导论,编译原理这些书
4. 读过CSAPP,SICP,操作系统,算法导论,编译原理这些书 => 大概率成为很厉害的程序员
以上命题均为假.