Haqiqat jadvali generatori

  1. Kirish
  2. Variantlar
  3. Natija

Haqiqat jadvali generatori

Operator tugmalari, misollar, formulalar tasnifi, kanonik DNF va CNF, mintermlar va eksportlar bilan haqiqat jadvallarini tuzing va o'rganing.

Haqiqat jadvalini tuzing

Mantiqiy ifodani kiriting yoki uni operator tugmalari bilan yig'ing.

Ixtiyoriy taqqoslashda oʻzgaruvchilar birlashmasidan (8 tagacha) foydalaniladi va qarshi misollarni ajratib koʻrsatadi. Kirishlarni o'zgartiring, so'ngra natijani yangilash uchun jadval tuzing. Har bir ifoda 2000 ta belgi bilan cheklangan.

Mantiqiy ifoda operatorlari

Siz NOT, AND, OR, XOR, NAND, NOR, IMPLIES va IFF yozishingiz mumkin.

Tez misollar

Ifoda brauzeringizda mahalliy sifatida baholanadi.

Tahlil qilingan ifoda
(A ∧ B) → C
Shartli mantiqiy formula
O'zgaruvchilar
A, B, C
Kombinatsiyalar
8
Natija 1 bo'lgan qatorlar
7
Natija 0 bo'lgan qatorlar
1

Mantiqiy haqiqat jadvali

PDF / Chop etish: Hammasi (8)

#
A
B
C
Natija
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1

Kanonik mantiqiy shakllar

Kanonik DNF 1-natijali jadval qatorlaridan tuzilgan; kanonik CNF 0 natijali jadval qatorlaridan tuzilgan.

Kanonik disjunktiv normal shakl (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Kanonik kon'yunktiv normal shakl (CNF)
(¬A ∨ ¬B ∨ C)
Mantiqiy mintermlar
Σm(0, 1, 2, 3, 4, 5, 7)
Mantiqiy makstermlar
ΠM(6)

Onlayn haqiqat jadvallarini yarating

Mantiqiy ifodani kiriting yoki yig'ing va natijada olingan qiymat bilan sakkiztagacha o'zgaruvchilarning har bir kombinatsiyasini tekshiring.

Formulani tavtologiya, ziddiyat yoki tasodif, filtr qatorlari sifatida tasniflang va jadvalni kanonik DNF, CNF, minterms va maxterms bilan birga eksport qiling.

Tez boshlash

Haqiqat jadvalini tuzing yoki ekvivalentlik uchun ikkita ifodani solishtiring.

  1. Ifodani va ixtiyoriy taqqoslashni kiriting
  2. Natijani yangilash uchun jadval tuzing
  3. Qarshi misollarni tekshiring va to'liq jadvalni eksport qiling
✓ Asbob to'g'ridan-to'g'ri brauzerda ishlaydi va dasturiy ta'minotni o'rnatmasdan tez tekshirishga tayyor.
✓ Kirish darhol tozalanishi va qayta hisoblanishi mumkin, bu takroriy kichik vazifalar uchun foydalidir.
✓ Uzoq matn, tuzilgan maʼlumotlar yoki katta natija bloklari uchun koʻproq joy kerak boʻlganda toʻliq ekran rejimidan foydalaning.
✓ Natijalarni kod, hujjatlar yoki qo'llab-quvvatlash chatlarida qayta ishlatish uchun nusxa ko'chirish tugmalari yaratilgan mahsulotda mavjud.
✓ Aksariyat operatsiyalar deterministikdir: bir xil kirish va variantlar bir xil natijani beradi.
✓ Nozik kontent uchun mahalliy brauzer vositalarini afzal ko'ring va uni boshqa baham ko'rishdan oldin natijani ko'rib chiqing.

Boshqa asboblar

Matematik baholovchi
Matematik baholovchi
Kombinatorik kalkulyator
Kombinatorik kalkulyator
Modulli arifmetik kalkulyator
Modulli arifmetik kalkulyator
DOC ni PDF ga onlayn o'zgartiring
DOC ni PDF ga onlayn o'zgartiring
DOCX ni PDF ga onlayn o'zgartiring
DOCX ni PDF ga onlayn o'zgartiring
ODT ni PDF ga onlayn o'zgartiring
ODT ni PDF ga onlayn o'zgartiring

Foydalanuvchi sharhlari

Sharhlar nashrdan oldin tekshiriladi. Biz haqiqiy ijobiy fikr-mulohazalar va aniq tanqidlarni e'lon qilamiz. Foydali tafsilotlarsiz spam va haqoratlar chop etilmaydi; uyat va shaxsiy ma'lumotlar maskalanadi. Ijobiy ovozlar darhol hisoblanadi; salbiy ovozlar ko'rib chiqilgandan keyin hisoblanadi.

Sharhlar natijalar kafolati yoki xizmat cheklovlari tavsifi emas, balki foydalanuvchilarning tajribasini aks ettiradi. Sharh qoldirish uchun yuqoridagi baholash tugmalaridan foydalaning.

Bu tilda hali nashr qilingan sharhlar yo‘q.