Математическая задачка, за ответ стикер)

Четыре школьника - Петя, Вася Таня и Света участвовали в отборочном этапе олимпиады. Определите, кто из них вышел в заключительный этап, если известно, что следующие показатели являються истинными:
1. Если Петя вышел, то и вася вышел.
2.Если Вася вышел, то таня вышла или петя не вышел.
3. Если света не вышла, то петя вышел, а таня не вышла.
4. Если света вышла, то и петя вышел.
Ждем результатов)) )
И кстати, укажите имена вышедних ребят)