Truth Table Generator

Paano gumawa ng truth table

1. I-type ang expression mo sa field na Boolean expression, halimbawa (A at B) -> hindi C, A B' + A' B o p ↔ q. Inilalagay ng mga button ng operator ang ¬ ∧ ∨ ⊕ ↑ ↓ → ↔ at mga panaklong sa kinaroroonan ng cursor.
2. Nag-a-update ang table habang nagta-type ka; pindutin ang Enter o i-click ang Gumawa ng table para i-refresh ito agad.
3. Piliin ang Pagkakasunod ng variable: Alpabetikal (ang karaniwang ayos sa aklat) o Ayon sa paglitaw sa expression.
4. Sa ilalim ng Ipakita ang mga halaga bilang, piliin ang 1 at 0 (digital electronics) o T at F (mga kurso sa logic).
5. Lagyan ng tsek ang Ipakita ang mga column ng sub-expression para makita ang bawat intermediate na hakbang, tulad ng A ∧ B bago ang ¬(A ∧ B). Ito ang karaniwang layout na inaasahan ng mga guro kapag sinusuri mo ang formula nang mano-mano.
6. Basahin ang Klasipikasyon, ang mga listahan ng minterm at maxterm at ang mga canonical form sa ibaba ng table. Ine-export ng Kopyahin ang CSV at I-download ang CSV ang table para sa spreadsheet o report.

Sinusuportahang syntax

Puwede ring isulat ang OR gamit ang patayong guhit: A | B o A || B. Hindi sensitibo sa laki ng letra ang mga salitang operator. Ang mga constant ay 0, 1, true at false; sa pahinang ito, gumagana rin ang mga salitang Filipino na at, o, hindi, tama at mali. Ang at at hindi ay gumagana sa pagitan ng dalawang operand (ang hindi ay bago ang isang operand). Ang isang-letrang salitang o ay dapat maliit na letra, nag-iisa, at hindi dapat gamitin ang letrang iyon bilang variable sa ibang bahagi ng expression; kung may variable na o, gumamit ng malalaking letra o simbolo. Ang bawat ibang pangalan ay variable, kasama ang mga iisang letra tulad ng T o F, at mga pangalang tulad ng x1 o Light2. Iisang variable ang pangalang may maraming letra: hindi A AND B ang AB. Isulat ang A B, A·B o A & B para sa product. Hindi puwedeng gamiting pangalan ng variable ang mga salitang operator, kasama ang at, o at hindi.

Pagkakasunod ng precedence, mula pinakamahigpit hanggang pinakaluwag: NOT, saka AND at NAND, saka XOR, saka OR at NOR, saka implication, saka equivalence. Kaya ang ¬a ∧ b ∨ c ay nangangahulugang ((¬a) ∧ b) ∨ c. Pakanan ang pagpapangkat ng implication, gaya sa mga aklat ng logic: ang a → b → c ay nangangahulugang a → (b → c). Ipinapakita ng linyang Basahin bilang: kung paano naintindihan ng tool ang input mo, para masuri mo ang pagpapangkat bago ka magtiwala sa table.

Mga minterm, maxterm at canonical form

Binibilang ang mga row mula 0, kung saan ang unang variable ang pinakamahalagang bit. Sa mga variable na A, B, C, ang row 5 ay A = 1, B = 0, C = 1. Ang minterm ay row kung saan tama ang expression, at ibinibigay ng listahang Σm(…) ang mga numero nila. Ang maxterm ay row kung saan mali ito, na nakalista bilang ΠM(…).

Ang canonical sum of products (SOP, disjunctive normal form) ay nag-o-OR ng isang AND term kada minterm. Para sa XOR, ito ay (¬A ∧ B) ∨ (A ∧ ¬B). Ang canonical product of sums (POS, conjunctive normal form) ay nag-a-AND ng isang OR clause kada maxterm, na kino-complement ang bawat variable kung saan 1 ang bit nito: (A ∨ B) ∧ (¬A ∨ ¬B). Kumpleto ang mga anyong ito pero hindi minimal. Gamitin ang mga ito bilang panimulang punto para sa Karnaugh map o sa paraan ng Quine–McCluskey.

Tautology, contradiction o contingency

Ang tautology ay tama sa bawat row, tulad ng contrapositive law (p → q) ↔ (¬q → ¬p). Ang contradiction ay mali sa bawat row, tulad ng p ∧ ¬p. Ang anumang iba pa ay contingency. Magkatumbas sa lohika ang dalawang formula kapag tautology ang formula1 <-> formula2, na mabilis na paraan para suriin ang isang pagpapasimple.