Артикул №1163586
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 23.01.2024)
Лабораторная работа №6
«Системы булевых функций»
Цель работы: освоить методику исследования системы булевых функций на полноту с помощью теоремы Поста
Задание Выяснить, является ли полной заданная система булевых функций, используя теорему Поста.
Вариант 7

<b>Лабораторная работа №6</b> <br />«Системы булевых функций» <br /><b>Цель работы:</b> освоить методику исследования системы булевых функций на полноту с помощью теоремы Поста  <br />Задание  Выяснить, является ли полной заданная система булевых функций, используя теорему Поста. <br /><b>Вариант 7</b>


Артикул №1155677
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 10.11.2021)
Постройте СДНФ, СКНФ и МДНФ для булевых функций, заданных таблично:
Постройте СДНФ, СКНФ и МДНФ для булевых функций, заданных таблично:


Артикул №1155676
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 10.11.2021)
Проверьте, являются ли булевы функции F1 и F2 эквивалентными.
F1 = x + (y→z), F2 = (x + y)→(x + z).



Артикул №1146798
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
Доказать, что формула G является логическим следствием формул F1, F2, F3, F4:
Доказать, что формула G является логическим следствием формул F1, F2, F3, F4:


Артикул №1146797
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
Привести к предваренной нормальной форме и сколемовской нормальной форме:
(∃z)(∀u)(∀x)(∀y)(∃v)(G(x,y,z)W(b)→ Q(z,u,v))

Привести к предваренной нормальной форме и сколемовской нормальной форме: <br />(∃z)(∀u)(∀x)(∀y)(∃v)(G(x,y,z)W(b)→ Q(z,u,v))


Артикул №1146796
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
Привести к предваренной нормальной форме и сколемовской нормальной форме
: (∀x)(∀a)(∃z)(∀u)(∃v)(F1(x,a,z)→F2(z,u,v)F3(y))

Привести к предваренной нормальной форме и сколемовской нормальной форме<br />:               (∀x)(∀a)(∃z)(∀u)(∃v)(F1(x,a,z)→F2(z,u,v)F3(y))


Артикул №1146795
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
На множестве М задан одноместный предикат Р(х). Выразить следующие утверждения формулами сигнатуры:
«существует не менее одного элемента х, удовлетворяющего предикату Р(х)»;
«существует не более одного элемента х, удовлетворяющего предикату Р(х)»;
«существует точно один элемента х, удовлетворяющего предикату Р(х)»;
«существует не менее двух элементов, удовлетворяющего предикату Р(х)».



Артикул №1146794
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
Доказать, что формула G является логическим следствием формул F1, F2, F3, F4:
Доказать, что формула G является логическим следствием формул F1, F2, F3, F4:


Артикул №1146793
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
Справедливо ли следующее высказывание:
Построить СКНФ.

Справедливо ли следующее высказывание:   <br />Построить СКНФ.


Артикул №1146792
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 08.07.2020)
Упростить выражение:
F=(A⊕B)˅(A⊕B)˅(A⊕B)˅(A⊕B)*.
Построить СДНФ.

Упростить выражение: <br />F=(A⊕B)˅(A⊕B)˅(A⊕B)˅(A⊕B)*. <br />Построить СДНФ.


Артикул №1137026
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2019)
Составить таблицу истинности для функции
Составить таблицу истинности для функции


Артикул №1137025
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 18.09.2019)
Составить таблицу истинности для функции
Составить таблицу истинности для функции


Артикул №1135075
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 30.08.2019)
Пусть события A, B и C попарно независимы, причём каждое из них имеет вероятность, отличную от нуля и единицы. Проверить, могут ли события A ∩ B , B ∩ C и A ∩ C быть: а) попарно независимыми; б) независимыми в совокупности


Артикул №1135074
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 30.08.2019)
Доказать, что если класс S подмножеств множества элементарных событий Ω, замкнутый относительно операции дополнения, замкнут относительно операции объединения, то он замкнут и относительно операции пересечения.


Артикул №1135073
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 30.08.2019)
Известно, что пять из сорока пассажиров самолёта замешаны в похищении крупной денежной суммы. В аэропорту к трапу самолёта подошёл инспектор уголовного розыска и заявил, что для обнаружения хотя бы одного преступника ему достаточно произвести обыск у шести наугад выбранных пассажиров. Что руководило инспектором: трезвый расчёт или риск?


Артикул №1135072
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 30.08.2019)
Результаты опроса 1 000 случайно отобранных молодых людей таковы
Определить, содержится ли в этой информации ошибка.

Результаты опроса 1 000 случайно отобранных молодых людей таковы <br /> Определить, содержится ли в этой информации ошибка.


Артикул №1131659
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 03.08.2019)
На числовой прямой даны два отрезка: P = [10, 30] и Q = [20, 40]. Выберите такой отрезок A, что формула (x ∈ A) → ((x ∈ P) ≡ (x ∈ Q)) тождественно истинна, то есть принимает значение 1 при любом значении переменной х. Если таких отрезков несколько, укажите тот, который имеет большую длину.
1) [10, 19]
2) [21, 29]
3) [31, 39]
4) [9, 41]



Артикул №1131658
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 03.08.2019)
На числовой прямой даны два отрезка: P = [41, 61] и Q = [11, 91]. Выберите такой отрезок A, что формула ((x ∈ P) → (x ∈ А)) ∧ ((x ∈ A) → (x ∈ Q)) тождествен-но истинна, то есть принимает значение 1 при любом значении переменной х. Если таких отрезков несколько, укажите тот, который имеет большую длину.
1) [7, 43]
2) [7, 73]
3) [37, 53]
4) [37, 63]



Артикул №1131657
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 03.08.2019)
На числовой прямой даны два отрезка: P = [10, 20] и Q = [5, 15]. Выберите такой отрезок A, что формула ((x ∈ Q) → (x ∈ P) ) ∧ (x ∈ A) тождественно ложна, то есть принимает значение 0 при любом значении переменной х.
1) [0, 6]
2) [5, 8]
3) [7, 15]
4) [12, 20]



Артикул №1131656
Технические дисциплины >
  Математика >
  Математическая логика

(Добавлено: 03.08.2019)
На числовой прямой даны два отрезка: P = [5, 15] и Q = [10, 20]. Выберите такой отрезок A, что формула (x ∈ P) ∧ (x ∉ Q) ∧ (x ∈ A) тождественно ложна, то есть принимает значение 0 при любом значении переменной х.
1) [0, 7]
2) [8, 15]
3) [15, 20]
4) [7, 20]



    Категории
    Заказ решения задач по ТОЭ и ОТЦ
    Заказ решения задач по Теоретической механике
    Популярные теги в выбранной категории:

    Студенческая база

    Наш сайт представляет из себя огромную базу выполненных заданий по разым учебным темам - от широкораспространенных до экзотических. Мы стараемся сделать так, чтобы большиство учеников и студентов смогли найти у нас ответы и подсказки на интересующие их темы. Каждый день мы закачиваем несколько десятков, а иногда и сотни новых файлов, а общее количество решений в нашей базе превышает 200000 работ (далеко не все из них еще размещены на сайте, но мы ежедневно над этим работаем). И не забывайте, что в любой большой базе данных умение правильно искать информацию - залог успеха, поэтому обязательно прочитайте раздел «Как искать», что сильно повысит Ваши шансы при поиске нужного решения.

    Мы в социальных сетях:


    Договор оферты