Soru: Aşağıdaki mantık ifadesinin doğruluk tablosunu oluşturun:
P ∧ (Q ∨ ¬P)
Çözüm:
1. Önce tüm olası P ve Q değerlerini yazalım:
P: T, T, F, F
Q: T, F, T, F
2. ¬P'yi hesaplayalım: P'nin değilini alırız.
¬P: F, F, T, T
3. Q ∨ ¬P'yi hesaplayalım: VEYA işlemi, en az biri doğruysa doğru verir.
Q ∨ ¬P: T, F, T, T
4. P ∧ (Q ∨ ¬P)'yi hesaplayalım: VE işlemi, her ikisi de doğruysa doğru verir.
Sonuç: F, F, F, F
Doğruluk tablosu:
| P | Q | ¬P | Q ∨ ¬P | P ∧ (Q ∨ ¬P) |
|---|---|----|--------|--------------|
| T | T | F | T | F |
| T | F | F | F | F |
| F | T | T | T | F |
| F | F | T | T | F |
