Logica proposizionale : Equivalenze

[wild91]

Se ho una formula di questo tipo:
\( ( \neg A \land \neg B \land C) \land ( \neg A \land B \land C ) \land (A \land \neg B \land C) \)
come faccio ad arrivare a questa formula equivalente?
\( \neg ((A \implies \neg B) \implies \neg C) \)

Grazie mille

[Mrhaha]

Scusami, ma questa non è una contraddizione mentre la seconda non mi sembra che sia tale!
Nella prima hai $A$ e non $A$.

[wild91]

Ho sbagliato a scrivere la formula!
La prima formula in realtà è:
\( ( \neg A \land \neg B \land C) \lor ( \neg A \land B \land C ) \lor (A \land \neg B \land C) \)
Mea culpa.

[adaBTTLS1]

prova a partire dalla seconda, ricordando che " $P => Q$ " equivale a " $ not P vv Q $ ", iniziando dall'implicazione più interna.
facci sapere. ciao.

[Mrhaha]

"adaBTTLS":prova a partire dalla seconda, ricordando che " $P => Q$ " equivale a " $ not P vv Q $ ", iniziando dall'implicazione più interna.
facci sapere. ciao.

Concordo. E' la strada più semplice!

[perplesso1]

Altrimenti c'è la strada "difficile"

\( ( \neg A \land \neg B \land C) \lor (A \land \neg B \land C) \lor ( \neg A \land B \land C ) \)

$( (A vv not A) ^^ (not B ^^ C) ) vv ( not A ^^ B ^^ C )$

$(not B ^^ C) vv ( not A ^^ B ^^ C )$

$(not B vv (not A ^^ B)) ^^ C$

$(not B vv not A) ^^ C$

$not ( not (not B vv not A) vv not C)$

$not ( (A => not B ) => not C )$

Ciao.

[wild91]

Mi tocca la strada difficile perchè devo partire dalla prima ed arrivare alla seconda che è la risposta(che però non ho all'esame).
Grazie a todos!
Comunque se ho ben capito devo usare le equivalenze fondamentali e fare un po' di calcoli algebrici giusto?