Viết lại phép kéo theo sau chỉ bằng phủ định và tuyển:

A → B