← Wiskunde

Waarheidstabel & logica-evaluator (DNF/CNF, vereenvoudigde SOP)

Analyseer Booleaanse expressies, bekijk de volledige waarheidstabel, canonieke DNF/CNF en vereenvoudigingen met Karnaugh of Quine–McCluskey, met deelbare URL’s, CSV-export en stappen.

Andere talen ja | en | zh-CN | zh-TW | zh-HK | es | es-419 | es-MX | pt-BR | pt-PT | id | vi | ko | fr | de | it | ru-RU | hi-IN | ar | bn-BD | th-TH | fil-PH | fa-IR | nl-NL | he-IL | cs-CZ
Weergaveopties

Operatoren: ! ~ (NOT), & ∧ (AND), ^ (XOR), | ∨ (OR), ->, <->, constanten 0 1 T F. Variabelen zijn hoofdletterongevoelig en worden alfabetisch gesorteerd.

Samenvatting

Veelgestelde vragen

Welke operatoren kan ik gebruiken?

Gebruik ! of ~ voor NOT, & of ∧ voor AND, ^ voor XOR, | of ∨ voor OR, -> voor implicatie, <-> voor equivalentie en constanten 0, 1, T, F.

Hoe kiest de vereenvoudiging tussen Karnaugh en Quine–McCluskey?

Tot en met 4 variabelen groepeert de tool mintermen zoals in een Karnaugh-kaart. Bij 5 of 6 variabelen schakelt hij over naar Quine–McCluskey met Petrick-selectie. Boven 6 valt hij terug op de canonieke DNF.