Консультация # 186292: Уважаемые эксперты! Пожалуйста, ответьте на вопрос: Установите истинно или ложно высказывание: {1,-1,2}⊂{x:x3+x2-x-1=0,x∈Z} ...
Консультация # 186293: Здравствуйте,
уважаемые эксперты! Прошу вас ответить на следующий вопрос: Определить логические значения высказываний при x =1, y =1, z =0 x ∧ y) → (z ∨ (not y), ((x ∨ y) ∧ z) → ((x ∧ y) ∨ (y∧) z)) Доказать равносильность формулы: x → (y → z) ≡ x ∧ ...Консультация # 186294: Здравствуйте, уважаемые экспе
рты! Прошу вас ответить на следующий вопрос: Составить РКС: F(0,0,1) = F(0,1,1) = F(1,0,1) = F(1,1,1) = 1...Консультация # 186295: Здравствуйте! Прошу помощи в следующем вопросе: Найти СДНФ и СКНФ: (x ∨ not z) → y ∧ x...Консультация # 186296: Здравствуйте! Прошу помощи в следующем вопросе: Написать
все подформулы формулы А: ((x ∧ not y) → (not x ∨ z)) → not (x ∨ y) ...
Знак без палки - это отношение включения, т.к. что левое множество является подмножеством правого. Левое - числа 1, -1, 2. Правое - целые корни уравнения. Вот и надо проверить, являются ли данные числа корнями.
1: 1 + 1 - 1 - 1 = 0 OK.
-1: -1 + 1 + 1 - 1 = 0 OK.
2: 8 + 4 - 2 - 1 = 9 != 0 не OK.
Так что высказывание ложно.
Консультировал: Александр Чекменёв (Профессор)
Дата отправки: 03.06.2012, 10:07
СДНФ - сокращенная ДНФ, является дизъюнкцией всех простых импликант. Составим таблицу истинности функции и всех ее простых импликант.
x
y
z
f
xy
yz
-xz
0
0
0
0
0
0
0
0
0
1
1
0
0
1
0
1
0
0
0
0
0
0
1
1
1
0
1
1
1
0
0
0
0
0
0
1
0
1
0
0
0
0
1
1
0
1
1
0
0
1
1
1
1
1
1
0
Других простых импликант нет СДНФ представляется в виде xy∨yz∨-xz Для нахождения СКНФ находим СДНФ для инверсии функции и результат инвертируем по теореме де Моргана.
x
y
z
-f
x-y
-x-z
-y-z
0
0
0
1
0
1
1
0
0
1
0
0
0
0
0
1
0
1
0
1
0
0
1
1
0
0
0
0
1
0
0
1
1
0
1
1
0
1
1
1
0
0
1
1
0
0
0
0
0
1
1
1
0
0
0
0
СДНФ инверсии представляется в виде x-y∨-x-z∨-y-z СКНФ представляется в виде (-x∨y)(x∨z)(y∨z)
Консультировал: Асмик Гаряка (Советник)
Дата отправки: 03.06.2012, 18:03
Подформулой называется часть формулы, сама являющаяся формулой. Собственной подформулой называется подформула, не совпадающая со всей формулой. Все подформулы x y z not x not y x ∨ y x ∧ not y not x ∨ z not (x ∨ y) (x ∧ not y) → (not x ∨ z) ((x ∧ not y) → (not x ∨ z)) → not (x ∨ y)
Консультировал: Асмик Гаряка (Советник)
Дата отправки: 04.06.2012, 17:12
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались.
Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора -
для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение.
Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал,
который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом.
Заходите - у нас интересно!