1 (A∪-B∪-C)∩(-A∪B∪C)=A∩-A U A∩B U A∩C U -B∩-A U -B∩B U -B∩C U -C∩-A U -C∩B U-C∩C= A∩B U A∩C U -B∩-A U -B∩C U -C∩-A U -C∩B -C\-B=-C∩B Второе выражение является подмножеством первого, поэтому их пересечение и будет -C∩B
3 Отношение задает эквивалентность между двумя положительными или отрицательными числами. 1 класс {2,
3, 6} 2 класс {-6,-1,-2} 3 класс {0}
4 Таблица истинности для F
A
B
C
F
0
0
0
1
0
0
1
0
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
Таблица истинности для G
A
B
C
G
0
0
0
1
0
0
1
0
0
1
0
0
0
1
1
1
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
Формула F является следствием G
Консультировал: Асмик Гаряка (Академик)
Дата отправки: 16.05.2012, 17:19
5
нет комментария ----- Дата оценки: 16.05.2012, 20:54
2. Если [aij] и [bij] - матрицы отношений ρ1 и ρ2, то матрицами отношений ρ1∩ρ2, ρ1∪ρ2, ρ1\ρ2 будут [aij∩bij], [aij∪bij], [aij\bij] (и вообще матрица любой композиции
отношений ρ1*ρ2 равна [aij*bij], то есть соответствующая операция выполняется над матрицами поэлементно). Матрица отношения ρ1ρ2 будет равна произведению [aij][bij], вычисленному по обычным правилам, за исключением того, что вместо сложения будет использоваться дизъюнкция (строго говоря, также вместо умножения используется конъюнкция
, но для двоичных значений эти две операции эквивалентны). Аналогично определяется и матрица отношения ρ2.
В данном случае матрица отношения ρ1∩ρ22 будет равна: Это отношение не является рефлексивным (не все диагональные элементы равны 1), симметричным (матрица не совпадает с транспонированной), анитисимметричным (есть единичиные недиагональные элементы),
транзитивным - так как Матрица отношения ρ2(ρ1\ρ2) будет равна: Это отношение не является рефлексивным (не все диагональные элементы равны 1), симметричным (матрица не совпадает с транспонированной), анитисимметричным (есть единичиные недиагональные элементы), транзитивным - так
как
5. Построим таблицу истинности: По множеству нулевых наборов таблицы истинности строим СКНФ: каждому набору будет соответствовать одна из дизъюнкций, причём единичным значениям в таблице будут соответствовать переменные с инверсией: Затем преобразуем её в КНФ:
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались.
Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора -
для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение.
Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал,
который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом.
Заходите - у нас интересно!