Сколько переменных поддерживает генератор?

Поддерживается до 6 уникальных переменных (до 64 комбинаций входов).

Как обозначаются логические операции?

ИЛИ обозначается как '+', XOR как '^', И как '·', '*', '&' или слитным написанием (например, AB), а НЕ как '!', '~' или апостроф после переменной (A').

Что означают Σm и ΠM в результатах?

Σm представляет каноническую СДНФ (номера строк, где F=1), а ΠM — СКНФ (номера строк, где F=0).

Учитываются ли скобки при расчете?

Да, круглые скобки поддерживаются для явного задания приоритета логических операций.

В каком порядке выводятся переменные в таблице?

Переменные всегда сортируются в строгом алфавитном порядке слева направо.

Elysia Tools

Навигация

Math & Numbers

Генератор таблиц истинности

Строит полную таблицу истинности булева выражения (до 6 переменных, 64 строки): поддерживаются + ИЛИ, ^ XOR, ·/*/& или умножение И, !/~/' НЕ, скобки; переменные перечислены по алфавиту, каждая строка показывает набор и значение F, а также канонические формы Σm (минтермы) и ΠM (макстермы). Классика: AB + A'C имеет Σm(1,3,6,7); A ^ B ^ C — функция нечётности Σm(1,2,4,7).

Запуск

Запустить этот инструмент

Заполните форму, запустите инструмент и посмотрите результат на этой же странице.

Примеры

Примеры для этого инструмента

Связано

Генератор таблиц истинности

Запустить этот инструмент

Примеры для этого инструмента

Продолжить с похожими инструментами и темами

Узнайте, когда использовать этот инструмент, что он поддерживает и как его применяют пользователи.

Ключевые факты

Обзор

Когда использовать

Как это работает

Сценарии использования

Примеры

1. Анализ логики мультиплексора 2-в-1

2. Проверка 3-входовой схемы контроля чётности

FAQ

Примеры Обработки Изображений Web Python

Примеры Обработки Изображений Android Java

Примеры Обработки Изображений Android Kotlin

Примеры Обработки Изображений Web Rust

Удалитель Заголовков

Генератор оглавления Markdown

Генератор slug (с китайским в Пиньинь)

Пакетный генератор кодов