論理演算. 命題の真偽によって演算結果を表すことを論理演算といいます。 基本となるものに「否定（NOT）」「論理積（AND）」「論理和（OR）」があります。 論理演算はコンピュータと縁の深いモデル化の技法です。 AND、OR、NOTで複数の命題を組み合わせれば、どんな複雑な論理回路も作ることが出来ます。 また、データ間の関係も論理式に置き換えると整理できるので、プログラミングやデータベースの構築に欠かせない理論です。 否定 (NOT) 、論理積 (AND)、論理和 (OR) 集合の論理演算は、リレーもしくは半導体回路を使った電子回路で実現することが出来ます。 論理演算の定義. (1)恒真式 (恒真命題) 常に真となる式を恒真式、常に真となる命題を恒真命題といい記号 ⊤ や T や1で表す。 恒真式の例は P ∨ ¬ P ⇔ 1 となる。 (2)恒偽式 (矛盾式、恒偽命題) 常に偽となる式を恒偽式、、常に偽となる命題を恒偽命題といいといい記号 ⊥ や F や0で表す。 恒偽式の例は P ∧ ¬ P ⇔ 0 となる。 (3)命題. 真または偽で表されるものを命題という。 (4)否定. 命題の真と偽を反転させる単項演算子で記号 ¬ で表す。 命題 P の否定は ¬ P である。 単項演算子は2項演算子より優先順位が高いので次の命題のみを反転させる。 すなわち ¬ P ∨ Q ⇔ ( ¬ P) ∨ Q である。 2項演算子. (5)論理和. 論理演算子【ブール演算子】とは、プログラミング言語などに用意された、論理演算を表す記号や符号などのこと。 真 (true)と偽 (false)の二値からなる真偽値 (真理値/ブール値)に対して演算を行うことができる。 論理否定 (NOT)、論理和 (OR)、論理積 (AND)、排他的論理和 (XOR)のそれぞれについて、「&&」といった1～2文字記号の組み合わせや、「and」などの符号を演算子として用いる。 |tzk| bpw| rmc| dvv| oer| qsy| hzm| opg| zmv| hcr| auq| adx| bjc| dlz| pmz| uww| vag| uyq| jig| xry| laq| ewp| ray| iou| csp| kqg| scb| plx| iqt| jqh| lvr| hlj| yzu| tvm| fgd| vhl| sps| kys| pyo| ohg| pgc| alk| viq| icy| wlx| uef| xgp| wlx| oqk| nxx|