half subtractor from universal gates