1. Главная
  2. Библиотека
  3. Логика
  4. Для данных логических функций f1, f2, f3 выяснить их ли...
Разбор задачи

Для данных логических функций f1, f2, f3 выяснить их линейность, самодвойственность, монотонность и их принадлежность к замкнутым классам T0, T1. Проверить полноту системы логических функций {f1, f2, f3 }. f1 = (0,1,1,1,0,1,1,1), f2 = (1,0,1,1,0,0,0,1),

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Математическая логика
Для данных логических функций f1, f2, f3 выяснить их линейность, самодвойственность, монотонность и их принадлежность к замкнутым классам T0, T1. Проверить полноту системы логических функций {f1, f2, f3 }. f1 = (0,1,1,1,0,1,1,1), f2 = (1,0,1,1,0,0,0,1),

Условие:

Для данных логических функций f1, f2, f3 выяснить их линейность, самодвойственность, монотонность и их принадлежность к замкнутым классам T0, T1. Проверить полноту системы логических функций {f1, f2, f3 }. f1 = (0,1,1,1,0,1,1,1), f2 = (1,0,1,1,0,0,0,1), f3 = (1,0,0,0,1,1,1,0).

Решение:

1. Дано

Наборы значений переменных (x1,x2,x3)(x_1, x_2, x_3) упорядочены лексикографически: (0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1),(1,1,0),(1,1,1)(0,0,0), (0,0,1), (0,1,0), (0,1,1), (1,0,0), (1,0,1), (1,1,0), (1,1,1).

  • f1=(0,1,1,1,0,1,1,1)f_1 = (0, 1, 1, 1, 0, 1, 1, 1)
  • f2=(1,0,1,1,0,0,0,1)f_2 = (1, 0, 1, 1, 0, 0, 0, 1)
  • f3=(1,0,0,0,1,1,1,0)f_3 = (1, 0, 0, 0, 1, 1, 1, 0)

2. Свойства функций

Принадлежность к классам T0T_0 и T1T_1

  • fT0f \in T_0, если f(0,0,0)=0f(0,0,0) = 0.
  • fT1f \in T_1, если f(1,1,1)=1f(1,1,1) = 1.
Функция f(0,0,0)f(0,0,0) f(1,1,1)f(1,1,1) Классы
f1f_1 0 1 T0,T1T_0, T_1
f2f_2 1 1 T1T_1
f3f_3 1 0

Самодвойст...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое из следующих утверждений о принадлежности функции к классу $T_0$ является верным?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет