Ճշմարտության աղյուսակի գեներատոր

  1. Մուտքագրում
  2. Ընտրանքներ
  3. Արդյունք

Ճշմարտության աղյուսակի գեներատոր

Կառուցեք և ուսումնասիրեք ճշմարտության աղյուսակներ օպերատորի կոճակներով, օրինակներով, բանաձևերի դասակարգմամբ, կանոնական DNF և CNF, մինտերմիններով և արտահանումներով:

Կառուցեք ճշմարտության աղյուսակ

Մուտքագրեք բուլյան արտահայտություն կամ հավաքեք այն օպերատորի կոճակներով:

Ընտրովի համեմատությունը օգտագործում է փոփոխականների միավորումը (մինչև 8) և ընդգծում հակաօրինակները: Փոխեք մուտքերը, ապա կառուցեք աղյուսակը՝ արդյունքը թարմացնելու համար: Յուրաքանչյուր արտահայտություն սահմանափակված է 2000 նիշով:

Տրամաբանական արտահայտությունների օպերատորներ

Կարող եք նաև մուտքագրել NOT, AND, OR, XOR, NAND, NOR, IMPLIES և IFF:

Արագ օրինակներ

Արտահայտությունը գնահատվում է լոկալ ձեր բրաուզերում:

Վերլուծված արտահայտություն
(A ∧ B) → C
Պայմանական տրամաբանական բանաձեւ
Փոփոխականներ
A, B, C
Համակցություններ
8
Շարքեր՝ 1 արդյունքով
7
Տողեր՝ 0 արդյունքով
1

Բուլյան ճշմարտության աղյուսակ

PDF / Տպել: Բոլորը (8)

#
A
B
C
Արդյունք
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

Կանոնական բուլյան ձևեր

Կանոնական DNF-ը կառուցված է աղյուսակի տողերից 1 արդյունքով; կանոնական CNF-ը կառուցված է աղյուսակի տողերից 0 արդյունքով:

Կանոնական տարանջատող նորմալ ձև (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
Կանոնական կապի նորմալ ձև (CNF)
(¬A ∨ ¬B ∨ C)
Բուլյան մինտերմներ
Σm(0, 1, 2, 3, 4, 5, 7)
Բուլյան մաքստերմիններ
ΠM(6)

Ստեղծեք ճշմարտության աղյուսակներ առցանց

Մուտքագրեք կամ հավաքեք բուլյան արտահայտություն և ստուգեք մինչև ութ փոփոխականների յուրաքանչյուր համակցություն՝ ստացված արժեքով:

Դասակարգեք բանաձևը որպես նույնաբանություն, հակասություն կամ պատահականություն, զտեք տողերը և արտահանեք աղյուսակը կանոնական DNF, CNF, մինտերմինների և մաքստերմինների հետ միասին:

Արագ մեկնարկ

Կառուցեք ճշմարտության աղյուսակ կամ համեմատեք երկու արտահայտություն համարժեքության համար:

  1. Մուտքագրեք արտահայտություն և ընտրովի համեմատություն
  2. Կառուցեք աղյուսակը՝ արդյունքը թարմացնելու համար
  3. Ստուգեք հակաօրինակները և արտահանեք ամբողջական աղյուսակը
✓ Գործիքը աշխատում է անմիջապես բրաուզերում և պատրաստ է արագ ստուգումների՝ առանց ծրագրակազմի տեղադրման:
✓ Ներածումը կարող է անմիջապես մաքրվել և վերահաշվարկվել, ինչը օգտակար է կրկնվող փոքր առաջադրանքների համար:
✓ Օգտագործեք լիաէկրան ռեժիմը, երբ ձեզ ավելի շատ տարածք է անհրաժեշտ երկար տեքստի, կառուցվածքային տվյալների կամ մեծ արդյունքների բլոկների համար:
✓ Պատճենման կոճակները հասանելի են ստեղծվող ելքի վրա, որպեսզի արդյունքները կարող են կրկին օգտագործվել կոդում, փաստաթղթերում կամ աջակցող զրույցներում:
✓ Գործողությունների մեծ մասը դետերմինիստական է. նույն մուտքագրումը և ընտրանքները արտադրում են նույն արդյունքը:
✓ Զգայուն բովանդակության համար նախապատվությունը տվեք զննարկիչի տեղական գործիքներին և վերանայեք արդյունքը, նախքան այն հետագայում տարածելը:

Այլ գործիքներ

Մաթեմատիկական գնահատող
Մաթեմատիկական գնահատող
Կոմբինատորիկայի հաշվիչ
Կոմբինատորիկայի հաշվիչ
Մոդուլային թվաբանական հաշվիչ
Մոդուլային թվաբանական հաշվիչ
Փոխակերպեք DOC-ը PDF առցանց
Փոխակերպեք DOC-ը PDF առցանց
Փոխակերպեք DOCX-ը PDF առցանց
Փոխակերպեք DOCX-ը PDF առցանց
Փոխակերպեք ODT-ը PDF առցանց
Փոխակերպեք ODT-ը PDF առցանց

Օգտագործողների ակնարկներ

Կարծիքները ստուգվում են հրապարակումից առաջ: Մենք հրապարակում ենք իրական դրական արձագանքներ և կոնկրետ քննադատություններ: Սպամ և վիրավորանքներ առանց օգտակար մանրամասների չեն հրապարակվում. հայհոյանքն ու անձնական տվյալները քողարկված են։ Դրական ձայները հաշվվում են անմիջապես. բացասական ձայները հաշվվում են վերանայումից հետո:

Կարծիքները արտացոլում են օգտատերերի փորձը, այլ ոչ թե արդյունքների երաշխիք կամ ծառայության սահմանաչափերի նկարագրություն: Կարծիք թողնելու համար օգտագործեք վերը նշված գնահատման կոճակները:

Այս լեզվով հրապարակված ակնարկներ դեռ չկան: