¬(¬(¬(¬(¬(¬AB)C)D)E)F)
¬(¬(¬(¬((A+¬B)C)D)E)F)
¬(¬(¬((¬(A+¬+¬C)D)E)F)
¬(¬(¬(((¬AB)+¬C)D)E)F)
¬(¬((¬((¬AB)+¬C)+¬D)E)F)
¬(¬(((¬(¬AB)C)+¬D)E)F)
¬(¬((((A+¬B)C)+¬D)E)F)
¬((¬(((A+¬B)C)+¬D)+¬E)F)
¬(((¬((A+¬B)C)D)+¬E)F)
¬((((¬(A+¬+¬C)D)+¬E)F)
¬(((((¬AB)+¬C)D)+¬E)F)
(¬((((¬AB)+¬C)D)+¬E)+¬F)
((¬(((¬AB)+¬C)D)E)+¬F)
(((¬((¬AB)+¬C)+¬D)E)+¬F)
((((¬(¬AB)C)+¬D)E)+¬F)
(((((A+¬B)C)+¬D)E)+¬F)
((((AC+¬BC)+¬D)E)+¬F)
(((AC+¬BC+¬D)E)+¬F)
((ACE+¬BCE+¬DE)+¬F)
(ACE+¬BCE+¬DE+¬F)
ACE + ¬BCE + ¬DE + ¬F