mindmap地址 http://www.xmind.net/share/_embed/atskyline/are-equivalent-propositional-equivalences-1/
似乎进度有点儿慢，不知道后面会不会突然变很快。
那些逻辑推理什么的，是在没有太大兴趣去手工推。
