1.1 Logical Operations - Whitman College
https://www.whitman.edu/mathematics/higher_math_online/section01.01.html
Using the operations $\lnot$, $\land$, $\lor$, $\implies$, $\Leftrightarrow$, we can construct compound expressions such as $$ (P\land (\lnot Q))\implies ((\lnot R)\lor ((\lnot P)\land Q)). $$ As this example illustrates, it is sometimes necessary to include many parentheses to make the grouping of terms in a formula clear. Just as in algebra, where multiplication takes precedence …
DA: 80 PA: 12 MOZ Rank: 25