Newsgroup: italia.firenze.discussioni
Titolo: domanda di e per informatici

Salve,
spero ci sia qualche informatico che possa aiutarmi a superare l'esame di 
infobase per i fisici.
vi scrivo questa espressione logica che non ricordo come si svolge:
Facendo uso della tabella di verita, dire se la seguente espressione logica 
`e una tautologia.
(NOT(((NOT P) OR Q) AND P)) OR Q
Chi mi sa aiutare?
Grazie, a buon rendere.
Luca

 (NOT(((NOT P) OR Q) AND P)) OR Q
Essendo in carattere negato è una tetratautologia.
Non mi chiedere di sviluppare la tabella di verità mi sembra una cagata,
molto più veloce farla con i raggruppamenti o con De Morgan
--------------------------------
Inviato via 
http://arianna.libero.it/usenet/

 (NOT(((NOT P) OR Q) AND P)) OR Q
P Q   R
v v : v  è vera perchè c'è Q nell'ultimo OR
f v : v  è vera perchè c'è Q nell'ultimo OR
v f : v ((NOT P) OR Q) AND P) è falso perchè nel primo OR Q è f e NOT P è
falso
f f : v ((NOT P) OR Q) AND P) è falso per il P a dx dell'AND, ma il primo
NOT verifica l'ultimo OR
 
fe...@delenda.net
-- 
As you pass through a couple of decades you inevitably
pick up a new generation  - Nick Rhodes 

 molto più veloce farla con i raggruppamenti o con De Morgan
invece di chiedo proprio questo. :- )
Scusami ma non riesco tanto bene a seguirvi. Io devo dimostrare con le 
ravole della verità che si tratta di una tautologia. Nel compito se non lo 
si dimostra viene assegnato zero all'esercizio.
A presto.
Luca

 informatica di base per fisici ?  ah ve ve..
ah ve ve.. che cosa? Anche i fisici usano il PC.
Ti ringrazio per l'esercizio, ma scusami, non riesco a seguirlo bene. Io uso 
sempre 0 per falso e 1 per vero, penso sia una convenzione.
Passo passo, non lo poi fare?
A presto.

 ha scritto:

P Q (NOT P) (NOT P or Q) ((NOT P or Q) and P) NOT(((NOT P or Q) and P)
NOT(((NOT P) OR Q) AND P)) OR Q
0 0 1 1 0 1 1
0 1 1 1 0 1 1
1 0 0 0 0 1 1
1 1 0 1 1 0 1
Spero la formattazione sia rimasta....
Massimo


 Passo passo, non lo poi fare?
Si, che si deve mettere un paio di baffi finti ed andare all'esame al posto 
tuo? :-)
-- 
http://tinyurl.com/5vzta5
 




 Passo passo, non lo poi fare?
Ovviamente ho usato v=vero,f=falso, convenzione che di sicuro non mi sono
inventato io. Ho fatto una tabella con tutte le possibili combinazioni di v
e f, e per ogni combinazione ho fatto una mini-dimostrazione della verità
della proposizione, il che equivale a dimostrare che è una tautologia, per
definizione. Le mini dimostrazioni sono ovviamente fatte in base alle
proprietà delle operazioni logiche AND OR NOT. Puoi usare 0 e 1, e in
pratica dimostrare che è una tautologia facendo il 'grafico' della funzione
calcolando algebricamente i valori di verità, ma mi sembrava più elegante
come ho fatto io.

 ha scritto nel messaggio 
news:qppwvi0ignbb$.1seusjh461ye5$.dlg@40tude.net...


 > 1 1 0 1 1 0 1
Allora: supponiamo P e Q entrambi falsi (uguali a zero). Allora:
NOT P = NOT 0 = 1
NOT P or Q = 1 or 0 = 1
(NOT P or Q) and P = 1 and 0 = 0
NOT ((NOT P or Q) and P) = NOT 0 = 1
NOT ((NOT P or Q) and P) or Q = 1 or 1 = 1
Ripeti lo stesso procedimento cambiando di volta in volta i valori di P e Q,
e vedrai che ti torna tutto


Ciao,
grazie mille Massimo, mi sembra più chiaro adesso. Provo a fare qualche 
esercizio.
Saluti e grazie ancora.
Tu sei iscritto alla facoltà di informatica o elettronica?


Di nulla.
Io mi sono laureato in ingegneria gestionale un po' di anni fa, ormai
