Some Useful Tautologies

a(a b) b

(a b)(b) a

b((a) (b)) (a)

(a b)(b c) (a c)

(a b) ((b) (a))

a (b a)

(a) (a b)

(a b)((a) b) b

(a b)(a (b)) (a)

ab a

abc bc

I got them from here


http://www.informatik.htw-dresden.de/~nestleri/logic/08/kurb_e3.htm