Doğruluk Tablosu Oluşturucu
Önermeli mantığın doğruluk tablolarını oluşturmak için güçlü bir araç.
Talimatlar
Enunciado metninizi butonları kullanarak önermeli mantığa uygun olarak girin. Şu anda sadece beş önerme değişkeni (p,q,r,s,t) kullanılabilir. Oluşturucuya metni doğru bir şekilde nasıl gireceğinizle ilgili daha fazla bilgi için "Oluşturucuyu Nasıl Doğru Kullanırım?" bölümüne gidin. Metni girdikten sonra istediğiniz tablo türünü (True/False) veya (1/0) seçin ve Oluştur'a tıklayın; otomatik olarak doğruluk tablosu oluşturulacaktır, isterseniz indirebilirsiniz, formatı ise png.
Oluşturucuyu Nasıl Doğru Kullanırım?
Eğer enunciado doğru bir şekilde girilmezse, program bunu anlamayacak ve uygun bir şekilde işlemeyecektir. Önermelerin ve bağlaçların önermeli mantığın kurallarına uygun bir şekilde yerleştirildiğinden emin olun ve aynı şekilde parantezlerin de doğru yerleştirildiğinden emin olun. Parantezler çok önemlidir, çünkü programın işlemeye başlaması için sıralamayı belirlerler, doğru yerleştirilmezse program adımları atlar veya tabloyu düzgün bir şekilde oluşturmayabilir. Aşağıdaki örnekleri denerseniz, aynı öğeleri içermelerine rağmen ikincisi tüm gerekli parantezleri içermediği için çalışmaz:
- ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
- (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t
Bu Oluşturucuda Bulunan Mantıksal Operatörler
- ¬ - İnkar
- ∧ - Bağlaç
- ∨ - Veya Bağlaç
- ⇒ - Koşullu Bağlaç
- ⇔ - Bikonşitif Bağlaç
- ⊕ - Özel Veya Bağlaç
Bu siteyi destekle
Eğer işe yaradıysa, lütfen bu sayfayı e-posta, sosyal medya, ...vb. aracılığıyla kişilerle paylaşın.