T and F or ( T or T )
= T and F or T
= F or T
= T



not(F and T) or (T and T and T and F)
= not(F) or (T and T and T and F)
= T or (F)
= T



not(F) and not(T or F)
= T and not(T)
= T and F
= F

not((T or F) and (F and F) or ( F or T ))
= not(T and (F and F) or ( F or T ))
= not(T and F or ( F or T ))
= not(T and F or T)
= not(F or T)
= not(T)
= F