論理否定の英語

リテラルは原子論理式または原子論理式の否定であることを思い出しなさい。例文帳に追加

Recall that a literal is an atomic formula or a negation of an atomic formula.発音を聞く  - コンピューター用語辞典

論理積回路２４の否定論理積出力端子２３をクロック出力端子２とする。例文帳に追加

The NAND output terminal 23 of the AND circuit 24 is made to be a clock output terminal 2. - 特許庁

小さいレイアウト面積で排他的論理和／排他的否定論理和回路を実現できるようにする。例文帳に追加

To realize an exclusive OR/exclusive NOR circuit having a small layout area. - 特許庁

その結果、論理づけができた場合は請求項に係る発明の進歩性は否定され、論理づけができない場合は進歩性は否定されない。例文帳に追加

As a result of this approach, the inventive step of the claimed invention is denied when the reasoning is valid and it is not denied when the reasoning is invalid.発音を聞く  - 特許庁

NOT(否定)演算(子)は唯一つのオペランドをもつ論理連結語である例文帳に追加

NOT operation is a logical connective with just one operand発音を聞く  - コンピューター用語辞典

形式論理学において,全称否定命題という命題例文帳に追加

a universal proposition that denies something of all members of a class, called universal negative発音を聞く  - EDR日英対訳辞書

スイッチング電源装置１には、否定論理和回路５が設けられている。例文帳に追加

The switching power supply 1 includes a negative OR circuit 5. - 特許庁

半導体集積回路装置のＩ／Ｏ部などに設けられたラッチ１は、インバータ２〜１３、論理和回路１４，１５、否定論理積回路１６、ならびに否定論理和回路１７から構成されている。例文帳に追加

The latch 1 installed in an I/O part or the like of this semiconductor circuit device is constituted from inverters 2-13, logical sum circuits 14, 15, a NAND circuit 16, and a NOR circuit 17. - 特許庁