a^bvc  

a b c a^b (a^b)vc

0 0 0 0 0

0 0 1 0 1

0 1 0 1 1

0 1 1 1 1

1 0 0 1 1

1 0 1 1 1

1 1 0 0 0

1 1 1 0 1

¬av(b ^c)  

a b c     ¬a    b^c (⌐a)v(b^c)

0 0 0 1 0 1

0 0 1 1 1 1

0 1 0 1 1 1

0 1 1 1 0 1

1 0 0 0 0 0

1 0 1 0 1 1

1 1 0 0 1 1

1 1 1 0 0 0