Amazon.co.jp: コンピュータシステムの理論と実装 ―モダンなコンピュータの作り方: Noam Nisan (著), Shimon Schocken (著), 斎藤康毅 (翻訳): 本
Sheffer stroke - Wikipedia
Logical equivalences[edit] The Sheffer stroke of and is the negation of their conjunction Alternative notations and names[edit] Peirce was the first to show the functional completeness of non-conjunction (representing this as ) but didn't publish his result.[2][3] Peirce's editor added ) for non-disjunction[citation needed].[3] In 1911, Stamm was the first to publish a proof of the completeness of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
