Table 5:

Standard Boolean logical rules.

Rule	Symbol	Polynomial
AND	x ∧ y, x&y	xy
OR	x ∨ y, x|y	xy + x + y
NOT	$\left(~x\right),\overline{x},\left(\neg x\right)$	x + 1