Ақиқат кестесінің генераторы

  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. Қарсы мысалдарды тексеріңіз және толық кестені экспорттаңыз
✓ Құрал тікелей браузерде жұмыс істейді, сондықтан жылдам тексерулер үшін қосымша бағдарлама орнатудың қажеті жоқ.
✓ Кірісті бірден тазалап, қайта есептеуге болады; бұл қайталанатын шағын тапсырмаларға ыңғайлы.
✓ Ұзын мәтінмен, құрылымды деректермен немесе үлкен нәтижемен жұмыс істегенде толық экран режимін пайдаланыңыз.
✓ Көшіру батырмалары дайын нәтижені кодқа, құжатқа немесе қолдау чатына тез көшіруге көмектеседі.
✓ Көп операция детерминирленген: бірдей кіріс пен параметрлер бірдей нәтиже береді.
✓ Құпия деректер үшін браузерде жергілікті орындалатын құралдарды қолданып, нәтижені бөліспес бұрын тексеріңіз.

Басқа құралдар

Пайдаланушы пікірлері

Пікірлер жарияланар алдында тексеріледі. Біз шынайы оң пікірлер мен нақты сындарды жариялаймыз. Пайдалы мәліметтері жоқ спам және қорлау жарияланбайды; балағат сөздер мен жеке мәліметтер жасырылады. Оң дауыстар бірден есептеледі; теріс дауыстар тексерілгеннен кейін есептеледі.

Пікірлер нәтижелердің кепілдігі немесе қызмет шектеулерінің сипаттамасы емес, пайдаланушылардың тәжірибесін көрсетеді. Пікір қалдыру үшін жоғарыдағы бағалау түймелерін пайдаланыңыз.

Бұл тілде әлі жарияланған шолулар жоқ.