“Se o servidor tiver direito a 30 dias de férias, então ele completou 12 meses de exercício”.

“O servidor completa 12 meses de exercício e não tem direito a 30 dias de férias”.

“O servidor tem direito a 30 dias de férias ou não completou 12 meses de exercício”.

“Se o servidor não completar 12 meses de exercício, então ele não terá direito a 30 dias de férias”.

“Se o servidor não tiver direito a 30 dias de férias, então ele não completou 12 meses de exercício”.