Mister Exam
Adım adım matematiksel mantık
Doğru çözümle grupta en sevilen olacaksın ❤️😊
⌨
- Sembolik mantık ve mantık cebirini kullanmak
- İşlem önceliğini dikkate alarak ifadeye parantezler yerleştirmek
- Mantıksal ifadeleri basitleştirmek
- Girilen formüller için doğruluk tablosu oluşturur
- Mantıksal ifadenin normal biçimlerini bulmak:
- Konjonktif normal formu (KNF), tam olan dahil
- Disjonktif normal formu (DNF), tam olan dahil
Mantıksal ifade örnekleri
- Olumsuzlama kullanımı ile
(A⇒B)⇒¬(B⇒A)
- Mantıksal ifadelerin toplaması
(A⊕B)∨(A⊕C)
- Eşdeğerlik işaretiyle
(A⇒B)∨(B⇔C)
- Çıkarım işaretiyle
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NOR
(A⇒B)∧(A↓C)
- Konjonksiyon ve disjonksiyon kullanılarak
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- NAND ve NOR kullanılarak
0↓1|a|b|c|1↓0
Mantıksal ifadelerde desteklenen semboller
Hesaplayıcıya mantıksal formül girerken kullanılacak semboller burada belirtilmiştir
- ¬a
- – değilleme
- a⇒b
- – implikasyon
- a∧b
- – konjonksiyon
- a∨b
- – disjonksiyon
- a⇔b
- – ekivalans
- a⊕b
- – mod 2 toplama ( dışlayan veya)
- a|b
- – NAND (Sheffer çizgisi)
- a↓b
- – NOR (Peirce oku)
- a⊙b
- – XNOR gate ( inversiyonlu dışlayan veya)
Hesaplayıcıda aşağıdaki işlemleri içeren ifadeleri basitleştirebilirsiniz: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR