Трёхмерная карта Карно — различия между версиями
Материал из ALL
(Новая страница: «== Определение == '''Геометрическая прогрессия''' — это бесконечная последовательность чис…») |
|||
| Строка 1: | Строка 1: | ||
| − | + | '''Трёхмерная карта Карно''' — это '''[[таблица истинности]]''' определённого вида для логической функции пяти или шести переменных. | |
| − | ''' | + | Трёхмерная карта Карно является обобщением '''[[Карта Карно|карты Карно]]''' и используется для минимизации нормальной формы булевых функций, т.е. для построения '''[[МДНФ]]''' и '''[[МКНФ]]'''. |
| − | + | == Виды трёхмерных карт Карно: == | |
| + | === Для функции пяти переменных === | ||
| + | [[файл:КК05.JPG]] | ||
| + | |||
| + | === Для функции шести переменных === | ||
| + | [[файл:КК06.JPG]] | ||
| − | + | * Заметим, что в трёхмерных [[Карта Карно|картах Карно]] наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента. | |
| − | + | * Для функции шести переменных вторая и третья таблицы являются соседними. Четвёртая таблица последняя. | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
== Ссылки == | == Ссылки == | ||
| − | * [[Участник:Logic-samara]] | + | * [[Участник:Logic-samara]] |
| − | [[Категория: | + | [[Категория:Дискретная математика]][[Категория:Логика]] |
Версия 15:57, 15 ноября 2015
Трёхмерная карта Карно — это таблица истинности определённого вида для логической функции пяти или шести переменных. Трёхмерная карта Карно является обобщением карты Карно и используется для минимизации нормальной формы булевых функций, т.е. для построения МДНФ и МКНФ.
Содержание
Виды трёхмерных карт Карно:
Для функции пяти переменных
Для функции шести переменных
- Заметим, что в трёхмерных картах Карно наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента.
- Для функции шести переменных вторая и третья таблицы являются соседними. Четвёртая таблица последняя.
