Упростить (по тождествам булевой алгебры)
if (А*notB) then not С
not (not A * not B) or not C = not A or B or not C