Главная /
Введение в логику /
Какие утверждения о логических функциях являются истинными?
Какие утверждения о логических функциях являются истинными?
вопросПравильный ответ:
Для того чтобы функция была логической достаточно, чтобы все ее аргументы были логическими переменными, принимающими только два значения, интерпретируемые как истина и ложь;
Кортежи из области определения логической функции от n переменных можно рассматривать как двоичные слова длины n;
Логические функции должны иметь только один аргумент, принимающий два значения;
Областью определения логической функции от n переменных является Декартово произведение n множеств (Декартова степень множества {0, 1}).
Сложность вопроса
86
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Зачёт всё. Иду пить отмечать 4 за тест интуит
07 мар 2017
Аноним
Какой человек ищет эти вопросы по интуит? Это же элементарно (я не ботан)
19 апр 2016
Другие ответы на вопросы из темы школа интуит.
- # Полная индукция
- # Если доказано, что свойство Q справедливо для всех Xi, (i = 1…n) – элементов множества X, то
- # Примените метод вывода – полной индукции для ответа на вопрос "Сколько простых чисел в диапазоне [160,180]?"
- # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 0 (x2 ≡ x3) ≡ (x2 ≡ x4) = 0 (x3 ≡ x4) ≡ (x3 ≡ x5) = 0 (x4 ≡ x5) ≡ (x4 ≡ x6) = 0
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 & X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 & (X2 & X3).