Expresse as seguintes
-fórmulas uma vez somente com o símbolo
e da outra vez somente com o símbolo
.
.
Passo 1
Queremos representar a fórmula
usando apenas o operador Sheffer (
) e depois apenas o operador Peirce (
). Para isso, vamos usar as equivalências padrão: Sheffer (NAND):
–
–
–
Peirce (NOR):
–
–
–
–
–
–
–
Peirce (NOR):
–
–
–
–
Passo 2
Substituindo só com
:
Primeiro o bicondicional
Primeiro o bicondicional
Então a conjunção final
Passo 3
Substituindo só com
:
Calculamos
Calculamos
Logo
Por fim,
Resposta
Usando apenas
:
Usando apenas
: