These are the truth value inputs, called "A" and "B".

This is one truth value output.

The truth function AND makes the following associations:

(0,0)--->0

(1,0)--->0

(0,1)--->0

(1,1)--->1

In this line you see the law of contraposition

${\displaystyle (A\to B)\iff (\mathrm{\neg }A\leftarrow \mathrm{\neg }B)}$

In this line you see the De Morgan's law

${\displaystyle \mathrm{\neg }(A\vee B)\iff (\mathrm{\neg }A\wedge \mathrm{\neg }B)}$

In this line you see the De Morgan's law

${\displaystyle \mathrm{\neg }(A\wedge B)\iff (\mathrm{\neg }A\vee \mathrm{\neg }B)}$