Esercizio di logica: Tabella di verità

[architetto]

ho problemi con questi esercizi visto che ho perso la lezione in proposito.
Devo risolvere il seguente esercizio:
Trova la tabella di verità per la proposizione (non(A \/ B)) => (B /\ C), al variare dei valori di verità delle proposizioni A,B,C.
Come devo procedere..io so che si fa una tabella con vero o falso ...aiutatemi voi che siete capaci

[Rggb]

Abbastanza semplicemente (fra l'altro hai tre sole variabili):
- fai una tabella di 8 righe (infatti hai tre variabili, ognuna con due valori di verità, quindi $2*2*2=2^3=8$ casi possibili)
- nelle prime colonne metti i valori possibili di $A$, $B$ e $C$ (vero/falso, 0/1, T/F o come ti piace)
- poi una colonna col valore di $A vv B$ (spero tu sappia cosa viene fuori, a seconda di A e B )
- poi una colonna con $not (A vv B)$ che è l'inverso della precedente
- poi... prosegui.

Se hai difficoltà, chiedi ancora.

[architetto]

Ciao grazie per avermi risposto...
Purtroppo ho difficoltà nel secondo passaggio ( dove tu speravi che ci sarei riuscito ) vorrei dei chiarimenti da te su questa tabella di verità, capire come funziona una volta per tutte, spero che leggi il mio messaggio prima di stasera altrimenti non ne esco da solo!
Grazie

[Rggb]

L'argomento è semplice, ma se dici di non saperlo affrontare forse è meglio se parti da una descrizione generale, per esempio da qui

http://it.wikipedia.org/wiki/Tabella_della_verit%C3%A0

(o meglio ancora da http://en.wikipedia.org/wiki/Truth_table), se poi noti c'è anche segnalato un generatore online

http://turner.faculty.swau.edu/mathemat ... ary/truth/

col quale puoi verificare i tuoi conti. Idem cs: se incontri difficoltà...

[architetto]

TABELLA DI VERITà
L'esercizio è il seguente:
Trovare la tabella di verità per la proposizione ( non( A v B )) => ( B ^ C ), al variare dei valori di verità delle proposizioni A, B, C.
Io l'ho svolto così in tabella ma non so se giusto:

A B A v B non( A v B )
v v v f
v f v f
f v v f
f f f v

B C B ^ C
v v v
v f f
f v f
f f f

P.S MI SONO ESAURITO PER FARVI COMPRENDERE MEGLIO COME HO MESSO IN TABELLA
SECONDO ME MANCA QUALCOSA......MI SAPETE AIUTARE?

[blob84]

Codice:

 ((NOT(A OR B) => (B AND C)


devi fare 8 righe

Codice:

A B C      A OR B     NOT(A OR B)    (B  AND C)   (NOT(A OR B) => (B AND C)
0  0  0          ....                   ...                     ...                                     ...
0  0  1
0  1  0
0  1  1
1  0  0
1  0  1
1  1  0
1  1  1


all'inizio fai tutti i passaggi risulta più facile, poi quanto diventi più pratico, puoi saltare,
poi secondo me è meglio usare 0 e 1 invece che v e f, falso=0, vero=1, così si vede anche che i numeri in binario vanno da 0 a 7.
Se hai perso la lezioni allora leggi qualcosa qui http://www.math.unipd.it/~bottacin/books/logica.pdf

[architetto]

quindi in pratica devo unire le 2 tabelle...fino alla sesta colonna ci sono ma non capisco l'ultima ovvero : not( AvB ) =>(B^C)...io mi sono fermato a B^C:
B^C
1
0
0
0
1
0
0
0
da come hai scritto tu l'ultima colonna dovrebbe essere la negazione della sesta quindi:
not(A v B)=> (B^C)
0
1
1
1
0
1
1
1
perchè si aggiunge anche not(AvB)=>(B^C)?

[blob84]

ti conviene leggerti questo pdf
http://www.math.unipd.it/~bottacin/books/logica.pdf