Boolean AND

To represent an AND gate between A and B, we use the \cdot operator:

A\cdot B