(logic) Alternative form of ∧, the conjunction operator. / (logic) The binary operator and, only true if both of two inputs is true. In infix notation.
AND
証明では、記号「論理積」が二つの命題の結合（論理積）を表すために用いられます。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
