Előadást letölteni
Az előadás letöltése folymat van. Kérjük, várjon
1
Az informatika logikai alapjai
Beadandó feladatok Készítette: Markó Péter Első éves PTI hallgató Az informatika logikai alapjai
2
Első feladat (((P⊃Q) ⊃Q) ⊃Q) (⌐((P⊃Q) ⊃Q) ∨ Q) (⌐(⌐(P⊃Q) ∨Q) ∨ Q)
((⌐P∧⌐Q) ∨ (Q∧⌐Q)) ∨ Q (Q∧⌐Q) = 0 (⌐P∧⌐Q) ∨ Q (⌐P∨Q) ∧(Q∨⌐Q) (Q∨⌐Q)=1 (⌐P∨Q) a végeredmény
3
Második feladat ((P∧Q) ⊃(P∨R)) (⌐ (P∧Q) ∨ (P∨R)) ⌐ P ∨⌐ Q ∨ P∨R ⌐ P∨ P∨⌐ Q∨R ⌐ P∨ P=1 1∨⌐ Q∨R 1∨⌐ Q =1 1∨R 1 a formula tautológia
4
Harmadik feladat ((P∨ (⌐ (Q∧R))) ⊃ ((P⇔R) ∨Q))
((P∨ (⌐ (Q∧R))) ⊃(((P∧R) ∨ (⌐P∧⌐R)) ∨Q)) (⌐ (P∨ (⌐ (Q∧R))) ∨(((P∧R) ∨ (⌐P∧⌐R)) ∨Q)) ((⌐P∧ ⌐ (⌐ (Q∧R))) ∨(((P∧R) ∨ (⌐P∧⌐R)) ∨Q)) ((⌐P∧Q∧R) ∨ (((P∧R) ∨ (⌐P∧⌐R)) ∨Q)) ((⌐P∧Q∧R)∨(((P∨⌐P∨⌐R)∧(R∨⌐P∨⌐R)∧(⌐P∨P∨R)∧(⌐R∨P∨R))∨Q)) ((⌐P∧Q∧R)∨((1∧1∧1∧1) ∨Q)) ((⌐P∧Q∧R)∨1∨Q) ((⌐P∧Q∧R)∨1) a formula tautológia
5
Negyedik feladat ((P⊃Q)∨(Q⊃P))
((⌐P∨Q)∨(⌐Q∨P)) <- a zárójel elhagyható ⌐P∨Q∨⌐Q∨P <- a ∨ művelet kommutatív ⌐P∨P∨⌐Q∨Q 1∨1 1 a formula tautológia
6
Ötödik feladat (((P⊃Q)⊃P)⊃P) (⌐ ((P⊃Q)⊃P) ∨P) (⌐ (⌐ (P⊃Q) ∨P) ∨P)
(((⌐P∧Q)∨⌐P∨P) ⌐P∨P=1 1 a formula tautológia
7
Az informatika logikai alapjai
Forrás: Mihálydeák Tamás: Az informatika logikai alapjai feladatgyűjtemény
Hasonló előadás
