NIMPLYゲート

NIMPLYゲートは、物質的非含意を実装するデジタルロジックゲートです。

シンボル

代数式において、右向き矢印に線が引かれた記号（）は、NIMPLY を表すために使用できます。論理的には、これは物質的含意がない、および論理式 A ∧ ¬B と同値です。 $\nrightarrow$

伝統的なNIMPLYシンボル

NIMPLYゲートは合成生物学や遺伝子回路でよく使われます。^[1]

^ Fussenegger, Martin; Bojar, Daniel; Kim, Hyojin (2019年4月9日). 「ヒト細胞における複雑な論理計算をプログラムするためのCRISPR/Cas9ベースの中央処理装置」. Proceedings of the National Academy of Sciences . 116 (15): 7214– 7219. Bibcode :2019PNAS..116.7214K. doi : 10.1073/pnas.1821740116 . PMC 6462112. PMID 30923122 .

このコンピューティングに関する記事はスタブです。記事を拡張することでWikipediaに貢献できます。

v t e 一般的な論理接続詞
トートロジー/真実 $\top$
代替否定（NANDゲート） ${\overline {\wedge }}$ 逆の含意 $\Leftarrow$ 含意（IMPLYゲート） $\Rightarrow$ 論理和（ORゲート） $\lor$
否定（NOTゲート） $\neg$ 排他的論理和（XORゲート） $\oplus$ 双条件（XNORゲート） $\odot$ ステートメント（デジタルバッファ）
共同否定（NORゲート） ${\overline {\vee }}$ 非含意（NIMPLYゲート） $\nRightarrow$ 逆非含意 $\nLeftarrow$ 結合（ANDゲート） $\land$
矛盾/誤り $\bot$
哲学ポータル