На сколько я помню вот эти два выражения дают один результат не зависимо от "С"
~A ~B C ~D
~A ~B ~C ~D
Значит их можно привести к одному ~A ~B ~D
Аналогично
A ~B C ~D
в
~B C ~D