猪宝斋

[fwd]Why I Chose Erlang | Practical Ocaml阅读笔记5－8章

2006-11-11

[fwd]关于猪的逻辑

　　算式1：
　　男人=吃饭+睡觉+泡妞
　　猪=吃饭+睡觉
　　联立解得：
　　男人=猪+泡妞
　　移项变换为：
　　男-泡妞=猪
　　结论：
　　不泡妞的男人都是猪。
　　
　　算式2：
　　女人=吃饭+睡觉+被泡
　　猪=吃饭+睡觉
　　联立解得：
　　女人=猪+被泡
　　移项变换为：
　　女-被泡=猪
　　结论：
　　不让男人泡的女人都是猪。
　　
　　算式3：
　　a:男人=吃饭+睡觉+泡妞
　　b:女人=吃饭+睡觉+被泡
　　猪=吃饭+睡觉
　　泡妞=-被泡(负的)
　　联立解得：
　　a:男人=猪+泡妞
　　b:女人=猪+被泡=猪-泡妞
　　二式相加得：
　　男人+女人=猪+泡妞+猪-泡妞
　　男人+女人=2猪
　　
　　结论：
　　男人+女人就是俩猪