Please enable JavaScript.
Coggle requires JavaScript to display documents.
Mantık - Coggle Diagram
Mantık
"Ve" Bağlacı:
p q p Λ q
1 1 1
1 0 0
0 1 0
0 0 0
Özellikleri:
p Λ p ≡ p dır.
p Λ q ≡ q Λ p
p Λ (q Λ r) ≡ (p Λ q) Λ r
1 Λ p ≡ p Λ 1 ≡ p
0 Λ p ≡ p Λ 0 ≡ 0
p Λ p' ≡ p' Λ p ≡ 0
“Veya" Bağlacı:
p q p V q
1 1 1
1 0 1
0 1 1
0 0 0
Özellikleri:
p V p ≡ p
p V q ≡ q V r
(p V q) V r ≡ p V (q V r)
0 V p ≡ p V 0 ≡ p
1 V p ≡ p V 1 ≡ 1
p V p' ≡ p' V p ≡ 1
"İse" ( Şart Gerektirme) Bağlacı:
p q p ⇒ q
1 1 1
1 0 0
0 1 1
0 0 1
Özellikleri:
p⇒p ≡ 1
p⇒1 ≡ 1
1⇒p ≡ p
0⇒p ≡ 1
p⇒0 ≡ p'
p⇒p' ≡ p'
p'⇒p ≡ p
"Ancak ve Ancak" Bağlacı:
p q p ⇔ q
1 1 1
1 0 0
0 1 0
0 0 1
Özellikleri:
p⇔p ≡ 1
p⇔p' ≡ 0
p⇔1 ≡ p
p⇔0 ≡ p'
p⇔q ≡ p'⇔q'
"Ya da" Bağlacı:
p q p ⊻ q
1 1 0
1 0 1
0 1 1
0 0 0
Özellikleri:
1.p ⊻ p’ ≡ 1
2.p ⊻ p ≡ 0
3.p ⊻ 1 ≡ p’
4.p ⊻ 0 ≡ p