Тут правило очень простое. Надо стрелочку разорвать на две части: одна - палочка, другая - галочка. Палочка - это отрицание (если сверху над буквой нарисовать, над той, около которой эта палочка), ну а галочка - это дизъюнкция.