Генератор таблиц истинности с упрощением
Разобрать логическое выражение, показать таблицу и эквивалентность преобразований, экспортировать материал.
Методика и примеры
Генератор таблиц истинности с упрощением
Разбираетсимвольную логику безeval, строит полную таблицу до6 переменных и сокращает импликанты. Результат повторно проверяется по всем строкам; глобальная минимальность покрытия не обещается.
Входные данные примера
Основной источник
(A & B) | (A & !B)
Результат примера
| A | B | Значение |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
Показано строк: 3 из 4.
Локальная обработка: до2 млн символов или20 000 записей на источник; до50 000 строк результата. Тяжёлые операции имеют отдельные ограничения и отмену. Измеренный спрос и внешние данные не подставляются.