Generator ng talahanayan ng katotohanan

Input
Mga pagpipilian
Resulta

Generator ng talahanayan ng katotohanan

Bumuo at galugarin ang mga talahanayan ng katotohanan gamit ang mga pindutan ng operator, mga halimbawa, pag-uuri ng formula, kanonikal DNF at CNF, mga minterm at pag-export.

Bumuo ng talahanayan ng katotohanan

Maglagay ng Boolean expression o i-assemble ito gamit ang mga operator button.

Pagpapahayag

Ikumpara sa ibang expression

Ang opsyonal na paghahambing ay gumagamit ng pagsasama-sama ng mga variable (hanggang 8) at nagha-highlight ng mga counterexamples. Baguhin ang mga input, pagkatapos ay buuin ang talahanayan upang i-update ang resulta. Ang bawat expression ay limitado sa 2000 character.

Mga operator ng lohikal na expression

Maaari mo ring i-type ang NOT, AND, OR, XOR, NAND, NOR, IMPLIES at IFF.

Mabilis na mga halimbawa

Ang expression ay lokal na sinusuri sa iyong browser.

Na-parse na expression

(A ∧ B) → C

Contingent logical formula

Mga variable

A, B, C

Mga kumbinasyon

Mga hilera na may resulta 1

Mga hilera na may resultang 0

Talahanayan ng katotohanan ng Boolean

PDF / Print: Lahat (8)

Resulta

Mga form na Canonical Boolean

Ang Canonical DNF ay binuo mula sa mga hilera ng talahanayan na may resultang 1; Ang canonical CNF ay binuo mula sa mga hilera ng talahanayan na may resultang 0.

Canonical disjunctive normal form (DNF)

(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)

Canonical conjunctive normal form (CNF)

(¬A ∨ ¬B ∨ C)

Boolean minterms

Σm(0, 1, 2, 3, 4, 5, 7)

Boolean maxterms

ΠM(6)

Bumuo ng mga talahanayan ng katotohanan online

Maglagay o mag-assemble ng Boolean expression at suriin ang bawat kumbinasyon ng hanggang walong variable na may resultang value.

I-classify ang isang formula bilang tautology, contradiction o contingency, filter row, at i-export ang table kasama ng canonical DNF, CNF, minterms at maxterms.

Mabilis na pagsisimula

Bumuo ng talahanayan ng katotohanan o paghambingin ang dalawang expression para sa equivalence.

Maglagay ng expression at opsyonal na paghahambing
Buuin ang talahanayan upang i-update ang resulta
Suriin ang mga counterexample at i-export ang kumpletong talahanayan

✓ Direktang tumatakbo ang tool sa browser at handa na para sa mabilisang pagsusuri nang hindi nag-i-install ng software.

✓ Maaaring i-clear at muling kalkulahin kaagad ang input, na kapaki-pakinabang para sa paulit-ulit na maliliit na gawain.

✓ Gumamit ng fullscreen mode kapag kailangan mo ng mas maraming espasyo para sa mahabang text, structured data o malalaking resultang bloke.

✓ Available ang mga pindutan ng pagkopya sa nabuong output upang ang mga resulta ay magagamit muli sa code, mga dokumento o mga chat ng suporta.

✓ Karamihan sa mga operasyon ay deterministiko: ang parehong input at mga opsyon ay gumagawa ng parehong output.

✓ Para sa sensitibong nilalaman, mas gusto ang mga lokal na tool sa browser at suriin ang resulta bago ito ibahagi pa.

Iba pang Mga Tool

Tagasuri ng ekspresyong matematika

Calculator ng kombinatorika

Calculator ng modular arithmetic

I-convert ang DOC sa PDF online

I-convert ang DOCX sa PDF online

I-convert ang ODT sa PDF online

Mga review ng user

Sinusuri ang mga pagsusuri bago ilathala. Nag-publish kami ng tunay na positibong feedback at partikular na pagpuna. Ang spam at mga insulto na walang kapaki-pakinabang na detalye ay hindi nai-publish; bastos at personal na mga detalye ay nakamaskara. Ang mga positibong boto ay binibilang kaagad; ang mga negatibong boto ay binibilang pagkatapos ng pagsusuri.

Ang mga review ay nagpapakita ng mga karanasan ng mga user, hindi isang garantiya ng mga resulta o isang paglalarawan ng mga limitasyon ng serbisyo. Gamitin ang mga button ng rating sa itaas para mag-iwan ng review.

Wala pang nai-publish na mga review sa wikang ito.