((a nor a) nor b) nor ((a nor b) nor a)