Coimplicazione logica

[Paolo k]

Non sono sicuro che la seguente proposizione sia corretta ma se lo è la soluzione è elementare:
($not$ A or B)$iff$ $not$(A and $not$ B). Cosa significa?

[Quinzio]

Significa che le due espressioni sono equivalenti, sono la stessa cosa.

Y =($ not $ A or B)
A B Y
0 0 1
0 1 1
1 0 0
1 1 1



Y =$ not $(A and $ not $ B)
A B Y
0 0 1
0 1 1
1 0 0
1 1 1

[gabriella127]

@ Paolok È giusta, certo, hai indovinato le leggi di di De Morgan, questa è una:

$\neg D \vee \neg C Leftrightarrow \neg(D \wedge C)$.

Nel tuo caso, va tenuto presente che presente che $B=\neg\neg B.$

Che interpretazione ne volevi dare?