simplify (A and B and C) or ((!D and (C or E)) or (D and F and C))