logical formulaとは 意味・読み方・使い方

Logical valuables used in the logical formula are logical variables X1 to Xn (n is an integer of 2 or more) which become true when selected and false when unselected, and logical variables X1^- to Xn^- which become true when unselected and false when selected.例文帳に追加

論理式で用いられている論理変数は、選択時に真、非選択時に偽になる論理変数Ｘ１，…，Ｘｎ（ｎは２以上の整数）と、非選択時に真、選択時に偽になる論理変数Ｘ１￣，…，Ｘｎ￣である。 - 特許庁

The model inspection device further includes an inspection performing unit that performs the inspection by satisfiability modulo theories based on the logical formula generated by the logical formula generating unit.例文帳に追加

また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 - 特許庁

The simplified logical formula for researching the output signal or a ladder circuit figure are displayed (S11).例文帳に追加

簡略化された出力信号を求める論理式、又はそのラダー回路図を表示する(Ｓ１１)。 - 特許庁

A registration/retrieval execution means 817 converts a group matched with a retrieval formula into a range (logical identifier range) in a logical identifier space.例文帳に追加

登録・検索実行手段８１７は、検索式に合致する集合を論理識別子空間における範囲（論理識別子範囲）に変換する。 - 特許庁

If the attribute set δ_B makes the logical formula indicated by the tree structure data γ_A true and the attribute set δ_A makes the logical formula indicated by the tree structure data γ_B true, the same session key K is shared.例文帳に追加

属性集合δ_Bが木構造データγ_Aに表される論理式を真にし、属性集合δ_Aが木構造データγ_Bに表される論理式を真にする場合、同一のセッション鍵Kが共有される。 - 特許庁

A search performing section 107 searches search target information with the search formula composed of the grouped search logical formulas and the logical operators.例文帳に追加

検索実行部１０７は、グループ化された検索論理式と論理演算子とから構成される検索式を用いて検索対象情報を検索する。 - 特許庁

A decision part 15 decides the context of time between the events according to the context of the event in the logical formula.例文帳に追加

判定部１５は論理式中の事象の前後により事象の間の時間の前後を判定する。 - 特許庁

Competition condition storage means is configured to store a logical formula based on the combination of the outputs between functions.例文帳に追加

競合条件保持手段は、前記機能間の前記出力の組み合わせに基づく論理式を保持する。 - 特許庁