Olá, tudo bem?

Gostaria muito de uma ajuda para resolver esta questão. Não faço ideia de como começar, muito menos terminar.

Seja C = {ci/i=1,...,n} o conjunto formado por n conectivos lógicos ci, para os quais a bicondicional (p .ci. q) <-> (p .cj. q) não é uma tautologia para todos i,j = 1,...,n, com i≠j e p e q proposições lógicas simples arbitrárias. O valor de n é, no máximo, igual a:

8, 16, 256, 4, 32. (Parece que a resposta é 16)

Caso queira ver a questão em sua formatação original, segue o print:

Questão de Raciocínio Lógico

Desde já agradeço e espero contar com sua sabedoria! :)