== Определение =='''Геометрическая прогрессияТрёхмерная карта Карно''' — это бесконечная последовательность чисел'''[[таблица истинности]]''' определённого вида для логической функции пяти или шести переменных. Трёхмерная карта Карно является обобщением '''[[Карта Карно|карты Карно]]''' и используется для минимизации нормальной формы булевых функций, каждое из которых (начиная со второго) получается из предыдущего умножением на постоянное число называемое знаменателемт.е. для построения '''[[МДНФ]]''' и '''[[МКНФ]]'''.
== Виды трёхмерных карт Карно: == === Для функции пяти переменных ===[[файл:КК05.JPG]] Введём обозначения=== Для функции шести переменных ===[[файл:КК06.JPG]]
'''b<sub>i</sub>''' – '''i'''-ый член последовательности;* Заметим, что в трёхмерных [[Карта Карно|картах Карно]] наборы аргументов в соседних строках, столбцах и таблицах (включая первые и последние) отличаются значением одного аргумента.
'''q''' – знаменатель последовательности; '''{b<sub>1</sub>, b<sub>2</sub>, …, b<sub>i</sub>, …}''' – числовая последовательность* Для функции шести переменных вторая и третья таблицы являются соседними. [[файл:ГП10Четвёртая таблица последняя.JPG]] == Формула суммы ==Пусть '''S<sub>n</sub>''' – сумма первых '''n''' членов последовательности. [[файл:ГП11.JPG]] == Свойства ==[[файл:ГП21.JPG]]
== Ссылки ==
* [[Участник:Logic-samara]][[Категория:МатематикаДискретная математика]][[Категория:Логика]]