2009-06-18 やばくないほうの De Morgan メモ 論理 って[tex: *1]の特別な場合じゃん、ということに気がついた。あたりまえ。 *1:A \vee B) \rightarrow C) \leftrightarrow ((A \rightarrow C) \wedge (B \rightarrow C