1116338 1) Для формулы алгебры высказываний найти равносильные ей: а) ПНФ, ДНФ, КНФ; б) СДНФ, СКНФ двумя способами 2) Выяснить только с помощью нормальных форм, является ли формула тавтологией, противоречием, выполнимой, опровержимой? 3) Построить наиболее простую РКС, реализующую функцию, которую представляет данная формула. (X→Y)∙(Y→Z)→(X↔Z)

Артикул: 1116338

Раздел:Технические дисциплины (74175 шт.) >
Математика (27180 шт.) >
Математическая логика (207 шт.)

Название или условие:
1) Для формулы алгебры высказываний найти равносильные ей: а) ПНФ, ДНФ, КНФ; б) СДНФ, СКНФ двумя способами
2) Выяснить только с помощью нормальных форм, является ли формула тавтологией, противоречием, выполнимой, опровержимой?
3) Построить наиболее простую РКС, реализующую функцию, которую представляет данная формула.
(X→Y)∙(Y→Z)→(X↔Z)

Описание:
Подробное решение в WORD - 3 страницы

Изображение предварительного просмотра:

1) Для формулы алгебры высказываний найти равносильные ей: а) ПНФ, ДНФ, КНФ; б) СДНФ, СКНФ двумя способами 2) Выяснить только с помощью нормальных форм, является ли формула тавтологией, противоречием, выполнимой, опровержимой? 3) Построить наиболее простую РКС, реализующую функцию, которую представляет данная формула. (X→Y)∙(Y→Z)→(X↔Z)

1) Для формулы алгебры высказываний найти равносильные ей: а) ПНФ, ДНФ, КНФ; б) СДНФ, СКНФ двумя способами <br /> 2) Выяснить только с помощью нормальных форм, является ли формула тавтологией, противоречием, выполнимой, опровержимой? <br />3) Построить наиболее простую РКС, реализующую функцию, которую представляет данная формула.<br /> (X→Y)∙(Y→Z)→(X↔Z)

Процесс покупки очень прост и состоит всего из пары действий:
1. После нажатия кнопки «Купить» вы перейдете на сайт платежной системы, где можете выбрать наиболее удобный для вас способ оплаты (банковские карты, электронные деньги, с баланса мобильного телефона, через банкоматы, терминалы, в салонах сотовой связи и множество других способов)
2. После успешной оплаты нажмите ссылку «Вернуться в магазин» и вы снова окажетесь на странице описания задачи, где вместо зеленой кнопки «Купить» будет синяя кнопка «Скачать»
3. Если вы оплатили, но по каким-то причинам не смогли скачать заказ (например, случайно закрылось окно), то просто сообщите нам на почту или в чате артикул задачи, способ и время оплаты и мы отправим вам файл.
Условия доставки:
Получение файла осуществляется самостоятельно по ссылке, которая генерируется после оплаты. В случае технических сбоев или ошибок мозно обратиться к администраторам в чате или на электронную почту и файл будет вам отправлен.
Условия отказа от заказа:
Отказаться возможно в случае несоответсвия поулченного файла его описанию на странице заказа.
Возврат денежных средств осуществляется администраторами сайта по заявке в чате или на электронной почте в течении суток.

Похожие задания:

Справедливо ли следующее высказывание: Построить СКНФ.	На числовой прямой даны два отрезка: 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]
Для какого из приведенных чисел Х истинно логическое условие: ¶ ((Х кратно 5) → (Х кратно 25))? 1) 37 2) 59 3) 65 4) 125	Пусть события A, B и C попарно независимы, причём каждое из них имеет вероятность, отличную от нуля и единицы. Проверить, могут ли события A ∩ B , B ∩ C и A ∩ C быть: а) попарно независимыми; б) независимыми в совокупности
Лабораторная работа №6 «Системы булевых функций» Цель работы: освоить методику исследования системы булевых функций на полноту с помощью теоремы Поста Задание Выяснить, является ли полной заданная система булевых функций, используя теорему Поста. Вариант 7	Постройте СДНФ, СКНФ и МДНФ для булевых функций, заданных таблично:
Проверьте, являются ли булевы функции F₁ и F₂ эквивалентными. F₁ = x + (y→z), F₂ = (x + y)→(x + z).	Привести к предваренной нормальной форме и сколемовской нормальной форме : (∀x)(∀a)(∃z)(∀u)(∃v)(F1(x,a,z)→F2(z,u,v)F3(y))
Доказать, что формула G является логическим следствием формул F1, F2, F3, F4:	Дан фрагмент таблицы истинности выражения F Каким выражением может быть F? 1) x1 /\ x2 /\ x3 /\ x4 /\ x5 /\ x6 /\ x7 /\ x8 2) x1 \/ x2 \/ x3 \/ x4 \/ x5 \/ x6 \/ x7 \/ x8 3) x1 /\ x2 /\ x3 /\ x4 /\ x5 /\ x6 /\ x7 /\ x8 4) x1 \/ x2 \/ x3 \/ x4 \/ x5 \/ x6 \/ x7 \/ x8