![]() КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
Функции k - значной логикиВведем обозначение: Eк={0, 1, 2, ..., k–1}. Функция k-значной логики, зависящая от n переменных, – это закон, отображающий
В k - значной логике также есть функции, которые называются элементарными. Приведем некоторые из них, примеры будем приводить для k = 3 и n = 2. 1. Циклический сдвиг или отрицание Поста: 2. Зеркальное отображение или отрицание Лукосевича: Nx = k–1–x. Эти две функции являются обобщением отрицания. 3. Ji(x)={k-1, x = i, I = 0, 1, 2, ..., k–1}.
4. min(x1,x2) – обобщение конъюнкции; 5. x1×x2(mod k) – второе обобщение конъюнкции; 6. max(x1,x2) – обобщение дизъюнкции; 7. x1+x2(mod k) – сумма по mod k.
Принято min(x1,x2) обозначать x1&x2, max(x1,x2) обозначать x1Úx2. Как и в двузначной логике, можно ввести понятие формулы над множеством и ставить вопрос о полной в Рk системе функций.
|