4
(t|f) = f
((t|f)&((f|t)&f)) = f
((f&f)|(f|!(t&f))) = t
(f|(f|t)) = f