Метод Петрука

У булевій алгебрі метод Петрика — техніка для визначення всіх мінімальних ДНФ рішень для таблиці простих імплікант.

Використовуй ШІ

Зміст

1. 5 відносини: Кон'юнктивна нормальна форма, Метод Куайна — Мак-Класкі, Дистрибутивність, Диз'юнктивна нормальна форма, Літерал (математична логіка).

2. Булева алгебра

Кон'юнктивна нормальна форма

Кон'юнкти́вна норма́льна фо́рма (КНФ) в булевій логіці - нормальна форма в якій булева формула має вид кон'юнкції декількох диз'юнктів (де диз'юнктами називаються диз'юнкції декількох пропозиційних символів або їх заперечень).

Переглянути Метод Петрука і Кон'юнктивна нормальна форма

Метод Куайна — Мак-Класкі

Метод Куайна — Мак-Класкі (метод простих імплікант) - табличний метод мінімізації булевих функцій розроблений Уілардом Куайном і Едвардом Мак-Класкі.

Переглянути Метод Петрука і Метод Куайна — Мак-Класкі

Дистрибутивність

Дистрибутивність (розподільний закон) — властивість бінарних операцій, визначених на одній множині.

Переглянути Метод Петрука і Дистрибутивність

Диз'юнктивна нормальна форма

Диз'юнкти́вна норма́льна фо́рма (ДНФ) в булевій логіці — нормальна форма в якій булева формула має вид диз'юнкції декількох кон'юнктів (де кон'юнктами називаються кон'юнкції декількох пропозиційних символів або їх заперечень).

Переглянути Метод Петрука і Диз'юнктивна нормальна форма

Літерал (математична логіка)

У математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення.

Переглянути Метод Петрука і Літерал (математична логіка)

Див. також

Булева алгебра

• Імпліканта
• АБО (логічний вентиль)
• Алгебра (теорія множин)
• Алгебра логіки
• Булева алгебра (структура)
• Булева алгебра з двома елементами
• Булева множина
• Булева функція
• Булеве кільце
• Бінарна діаграма рішень
• Бінарна матриця
• Бітові операції
• Вільна булева алгебра
• Джордж Буль
• Закон поглинання
• Карта Карно
• Логічний тип даних
• Мажоритарний елемент
• Метод Куайна — Мак-Класкі
• Метод Петрика
• Об'єднання множин
• Поліном Жегалкіна
• Правила де Моргана
• Сигма-алгебра
• Симетричні функції алгебри логіки
• Таблиця істинності
• Теорема Стоуна про представлення булевих алгебр
• Теорема про булеві прості ідеали
• Функціональна повнота
• Числення висловлень

Юніонпедія є ментальна карта, концепція карта, або семантична мережа організована як енциклопедія або словник. Це дає коротке визначення кожному поняттю і його відносин.

Це гігантська онлайн ментальної карти, яка служить в якості основи для концепції діаграм. Це вільно використовувати і кожна стаття або документ може бути завантажений. Це інструмент, ресурс або заслання для вивчення, дослідження, освіта, навчання або викладання, які можуть бути використані вчителями, педагогами, учнями та студентами; для академічного світу: для школи, початкової, середньої, середній школі, коледжі, посеред, технічної ступеня, коледж, університет, студентів, магістрів або докторські ступені; для паперів, звітів, проектів, ідей, документації, опитувань, резюме, або дисертації. Ось визначення, пояснення, опис, або сенс кожного значним, на якому вам потрібна інформація, а також список пов'язаних з ними понять, як глосарій. Доступна на Український, англійська, іспанська, португальська, японська, китайська, французька, німецька, італійська, польська, голландська, російська, арабська, гінді, шведська, угорська, каталонська, чеська, іврит, датський, фінський, індонезійська, норвезький, румунський, турецька, в'єтнамський, корейська, тайська, грецька, болгарський, хорватська, словацька, литовський, філіппінський, латвійська, естонії і словенії. Інші мови найближчим часом.

Інформація базується на статтях Вікіпедії та інших проєктах Вікімедіа і доступна за ліцензією Creative Commons Attribution-ShareAlike.

Юніонпедія не схвалена Фондом Вікімедіа та не пов’язана з ним.

Google Play, Android і логотип Google Play є торговельними марками корпорації Google Inc.

Політика конфіденційності