Drag the tiles to the boxes to form correct pairs.
Match the symbols with their meanings.
^
v
=>
¬
not
arrowRight
or
arrowRight
implies
arrowRight
and
arrowRight
