論理演算
論理演算子
negation
$ \lnot
HaskellやJSの!
同等
equivalence
$ \leftrightarrow
演算子の優先順位
論理演算子には優先順位がある
それによって括弧のつけ外しが可能
優先度高い↑
$ \lnot
$ \land, $ \lor, $ \underline{\lor}
$ \rightarrow, $ \leftrightarrow
同等な優先順位のものの場合括弧の取り外しはできない
$ (P\land Q)\lor Rを$ P\land Q \lor Rにすることはできない
参考