Observe a imagem a seguir.
(Adaptado de: NOEL, A. Vida de Programador. Tirinha #1611. Charge originalmente publicada em: 26 set. 2016.)
Assinale a alternativa que apresenta, corretamente, a regra lógica que fundamenta o efeito cômico da tirinha.
P → Q é verdadeira se, e somente se, P é verdadeiro.
P → Q é verdadeira se, e somente se, Q é verdadeiro.
P → Q é falsa se, e somente se, P é verdadeiro.
P → Q é falsa se, e somente se, P é falso ou Q é verdadeiro.
P → Q é falsa se, e somente se, P é verdadeiro e Q é falso.