Item 0.3.15.a.
\(\displaystyle A \cup \bar B\)
in-context