論理代数の英語

本発明は、目標論理ゲートから得られるカットセット内の論理ゲートに対し決定図を構築し、論理ネットワーク中の潜在的学習領域内の論理ゲートをマークし、正当化ベクトルを目標論理ゲートの所定のブール代数値の決定図から獲得し、論理的相互従属関係を判定し、その表現をコンピュータ支援設計装置の記憶装置に格納する。例文帳に追加

A decision diagram is built for logic gates in a cutest to be obtained from target logic gates, the logic gates in a potential learning area in the topology are marked, justification vectors are acquired from the decision diagram for a predetermined Boolean value of the target logic gate, such logical interdependencies are determined and a representation of the logical interdependencies is stored in a storage device in the computer-aided design system. - 特許庁

ブール代数演算は、決定図と、潜在的学習領域内の論理ゲートの複数の他の決定図との間で実行される。例文帳に追加

Boolean operations are performed between the decision diagram and a plurality of other decision diagrams for the logic gates in the potential learning area. - 特許庁

システムに関する制御及び処理等はブール代数等の形式論理式の真理値を基準に実行され情報の一部を除外もしくは歪曲して扱い、信頼度を低下する要因となっている。例文帳に追加

To solve a problem of becoming a factor in deteriorating reliability because of exclusively or distortedly treating a part of information by executing control and processing on a system with a truth value of a formal logical expression such as Boolean algebra as a reference. - 特許庁