cat, a dog, a frog and a pig are all accused of robbing the bank.The police have deduced the following:2• If the cat is not guilty then the dog is guilty.• The cat is not guilty if and only if the frog is guilty.• The dog is not guilty implies that the pig is guilty.• The pig is guilty if the cat is not guilty.