Type a boolean expression.
Example: 
(p&(~(~p|q)))|(p&q)

White space optional:   (p & (~( ~p|q))) |(p & q)

Parens optional.  & higher precedence than |
p&(~(~p|q))|p&q

Use the source