Exercitii

II b Să se calculeze prin metoda dihotomiei următoarele formule:

[(pvq) Ʌ q̅] ↔ [ p → (q→p)]

Să se calculeze prin metoda dihotomiei următoarele formule:

{[(p̅Ʌq) → (q̅ V p̅)] v (p̅ → p)}

p=1

q=0 q=1

{[(0 Ʌ0) → (1V 0)] v (0→ 1)} {[(0Ʌ1) → (0 V 0)] v (0→ 1)}

(0 → 1) v 1 (0 → 0) v 1

1 v 1 1 v 1

1 1

Deoarece s-a obținut două valori de 1, înseamnă că funcția nu este contigentă; este validă

III. 1.Aplicati metoda tabelelor de adevar pentru a stabili tipul urmatoarei formule logice:

{[(pvq) → (rɅr)̅ ] ↔ [(pvp̅) v (q Ʌq̅)]}

p q r p q r (pvq) (rɅr)̅ [(pvq) → (rɅr)̅ ] (pvp̅) (q Ʌq̅) [(pvp̅) v (q Ʌq̅)] {[(pvq) → (rɅr)̅ ] ↔
[(pvp̅) v (q Ʌq̅)]}

1 1 1 0 0 0 1 0 0 1 0 1 0
1 0 1 0 1 0 1 0 0 1 0 1 0
1 1 0 0 0 1 1 0 0 1 0 1 0
1 0 0 0 1 1 1 0 0 1 0 1 0
0 0 0 1 1 1 0 0 1 1 0 1 1
0 1 1 1 0 0 1 0 0 1 0 1 0
0 0 1 1 1 0 0 0 1 1 0 1 1
0 1 0 1 0 1 1 0 0 1 0 1 0