Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Coimplicazione logica

10/12/2023, 16:54

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?

Re: Coimplicazione logica

11/12/2023, 08:52

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

Re: Coimplicazione logica

11/12/2023, 13:53

@ 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?
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.