Fórum de Matemática
DÚVIDAS? Nós respondemos!

Boa tarde,
o exercício é \(¬((a\vee b))\wedge ¬(a\vee ¬(a\Rightarrow b))\)
eu cheguei aqui:http://imgur.com/DZtaTgr
posso me ter enganado, confirmem pf.

agora não percebo como colocar na forma desejada no enunciado pede:
http://imgur.com/mu2MOqR
Obrigado pelas respostas

\(\sim((a\vee b)\wedge \sim(a\vee \sim(a\Rightarrow b))\)

seja rigoroso na utilização de parentesis

lembre-se da álgebra booleana e mais precisamente das Leis De Morgan
http://pt.wikipedia.org/wiki/%C3%81lgeb ... a#Teoremas

\(\sim(a\vee b)=(\sim a \wedge \sim b)\)

logo

\(\sim((a\vee b)\wedge \sim(a\vee \sim(a\Rightarrow b))=\)
\(=\sim(a\vee b)\vee (a\vee \sim(a\Rightarrow b)=...\)

não percebo bem o que significa \(a\Rightarrow b\) pois é uma notação invulgar para mim neste domínio mas se significar que \(a=b\) pode avançar facilmente

_________________
João Pimentel Ferreira
 
_{Partilhe dúvidas e resultados, ajude a comunidade com a sua pergunta!
Não lhe dês o peixe, ensina-o a pescar (provérbio chinês)
Fortalecemos a quem ajudamos pouco, mas prejudicamos se ajudarmos muito (pensamento budista)}

Caro João,
Penso que seja o operador lógico implicação que se pode também escrever \(\sim a\vee b\).

Caro Rui Carpentier

Muito obrigado pela dica

continuando

\(=\sim(a\vee b)\vee (a\vee \sim(\sim a\vee b)=\)
\(=\sim(a\vee b)\vee (a\vee (a\wedge \sim b))=\)

pela propriedade absortiva

\(=\sim(a\vee b)\vee a=\)
\(=(\sim a\wedge \sim b)\vee a=\)
\(=(\sim a\vee a) \wedge (\sim b \vee a)=\)
\(=1 \wedge (\sim b \vee a)=\)
\(=\sim b \vee a\)

se não me falham as contas...

_________________
João Pimentel Ferreira
 
_{Partilhe dúvidas e resultados, ajude a comunidade com a sua pergunta!
Não lhe dês o peixe, ensina-o a pescar (provérbio chinês)
Fortalecemos a quem ajudamos pouco, mas prejudicamos se ajudarmos muito (pensamento budista)}

Já agora, deixo aqui a forma final como apresentei a resolução ao problema:

no enunciado faltava um parêntesis, por isso é que surgiu alguma confusão ao início.

já agora como podemos intercalar as imagens com a parte do texto, se for possível?