1.p&q->p

VVVVV

VFFVV

FFVVF

FFFVF

2.prP v r P v p r

VVVV

VFVV

FVFV

FFFV

3.Pqp^qp ^ q --> p

VVVV

VFFV

FVFV

FFFV

4.pqp ^ qq ^ pp ^ q --> q ^ p

VVVVV

VFFFV

FVFFV

FFFFV

5.(p->q)& (p&q)

VVVFVFFV

VFFFVVVF

FVVFFFFV

FVFFFFVF

6.pv(q->r)

VVVVV

VVVFF

VVFVV

VVFVF

FVVVV

FFVFF

FVFVV

FVFVF

7.(p->q)&q->p

VVVVVVV

VFFFFVV

FVVVVFF

FVFFFVF

8.(p->q)&(q->r)->(p->r)

VVVVVVVVVVV

VVVFVFFVVFF

VFFFFVVVVVV

VFFFFVFVVFF

FVVVVVVVFVV

FVVFVFFVFVF

FVFVFVVVFVV

FVFVFVFVFVF

9.(p->q)&p->q

VVVVFVVFV

VFFFFVVVF

FVVFVFFFV

FVFVVFVVF

10.p->(q->r)

VVVVV

VFVFF

VVFVV

VVFVF

FVVVV

FVVFF

FVFVV

FVFVF

11.(pvq)p&q

FVVVVFVFFV

FVVFVFVFVF

FFVVVVFFFV

VFFFVVFVVF

12.pvq->(rvs->p)

VVVVVVVVV

VVVVVVFVV

VVVVFVVVV

VVVVFFFVV

VVFVVVVVV

VVFVVVFVV

VVFVFVVVV

VVFVFFFVV

FVVFVVVFF

FVVFVVFFF

FVVFFVVFF

FVVVFFFVF

FFFVVVVFF

FFFVVVFFF

FFFVFVVFF

FFFVFFFVF

13.(pvq)pvq

FVVVVFVFFV

FVVFFFVVVF

FFVVFVFVFV

VFFFVVFVVF

14.(pvq)&q->p

VVVFFVVV

VVFVVFVV

FVVFFVVF

FFFFVFVF

15.((q->p)&(rvp))&(qvr)->q

VVVVVVFVFFVFFVVFV

VVVFFFFVFFVVVFVFV

FVVVVVFVVVFVFVVVF

FVVFFFFVFVFVVFVVF

VFFFVVVFFFVFFVVFV

VFFFFVVFFFVVVFVFV

FVFVVVVFVVFVFVVVF

FVFVFVVFVVFVVFVVF

16.(p->q)&(q->r)->(p->r)

VVVVVVVVVVV

VVVFVFFVVFF

VFFFFVVVVVV

VFFFFVFVVFF

FVVVVVVVFVV

FVVFVFFVFVF

FVFVFVVVFVV

FVVVFVFVFVF

17.((p->q)&(q->r))->(r->p)

VVVVVVVVVVV

VVVFVFFVFVV

VFFFFVVVVVV

VFFFFVFVFVV

FVVVVVVFVFF

FVVFVFFVFVF

FVFVFVVFVFF

FVFVFVFVFVF

18.((p&q)v(p&r))&(q->p)->r

VFFVVVVVVFVVFVVV

VFFVFVFFFFVVFVVF

VVVFVVVVFVFFFVVV

VVVFVVFFFVFFFVVF

FFFVFFFVFFVVVFVV

FFFVFFFFFFVVVFVF

FFVFFFFVFVFVVFVV

FFVFFFFFFVFVVFVF

19.((p->q)&(p->r))&(q->r)->q

VVVVFVVVVFVVFVVV

VVVVFVVFVFVVVFVV

VFFFFVVVFVFFFVVF

VFFFFVVFFVFVVFVF

FVVVVFVVVFVVFVVV

FVVFVFFFFFVVVFVV

FVFVVFVVFVFFFVVF

FVFFVFFFFVFVVFVF

20.((p->q)&(q->r))&r->p

FVVVVVVVFFVVV

FVVVFVFFFVFVV

FVVFVFVVFFVVV

FVVFVFVFVVFVV

VFVVVVVVFFVVF

VFVVFVFFFVFVF

VFFFFFVVFFVVF

VFFFFFVFFVFVF