List the carrier name and software platform of each device
select carrier, software_platform from device
How many of them use Android as software platform?
select count(*) from device where software_platform = 'Android'
What about not Android?
select count(*) from device where software_platform != 'Android'
What are the carrier names of them?
select carrier from device where software_platform != 'Android'