CREATE TABLE shop (shop_id NUMBER, shop_name CLOB, location CLOB, open_date CLOB, open_year NUMBER)
CREATE TABLE device (device_id NUMBER, device CLOB, carrier CLOB, package_version CLOB, applications CLOB, software_platform CLOB)
CREATE TABLE stock (shop_id NUMBER, device_id NUMBER, quantity NUMBER)

Return the device carriers that do not have Android as their software platform.
SELECT carrier FROM device WHERE software_platform <> 'Android'
SELECT "carrier" FROM "device" WHERE "software_platform" <> 'Android'