суббота, 18 мая 2013
17:51

все записи пользователя в сообществе Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
Здравствуйте, опять я обращаюсь насчет дискретной математики (алгебра Жегалкина по формулам). Правильный ли ход решения?
`x_1 to (bar(x_2) vee x_3) equiv`
`x_1 to bar(bar(x_2) wedge x_3) equiv`
`x_1 to bar bar(x_2) wedge bar(x_3) equiv`
`x_1 to x_2 wedge bar (x_3) equiv`
`bar (x_1) vee x_2 wedge bar (x_3) equiv`
`x_1 oplus 1 vee x_2 wedge x_3 oplus 1 equiv`

@темы: Дискретная математика

URL
Комментарии
18.05.2013 в 20:14

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
Tabry, не надо поднимать запись... она и так в начале списка...

Я не специалист в дискретной математике ... но даже я вижу, что как-то странно Вы избавились от отрицания при переходе от 2-й к 3-й строке...
И вроде вообще пошли не в ту степь...
Есть же формулы перехода от дизъюнкции и отрицания к нужным операциям...
URL
18.05.2013 в 20:21

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
Избавьтесь сначала от импликации... получите `bar{x} vee bar{y} vee z` ... потом закон де Моргана для первых аргументов... а дальше избавляйтесь от общего отрицания и второй дизъюнкции... приводите подобные... и получите ответ...
У меня получилось `xyz oplus xy oplus 1`...
URL
18.05.2013 в 20:24

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
`bar{x} vee bar{y} vee z` - хотя здесь можно закон де Моргана и для всех трёх аргументов применить... даже короче получится...
URL
18.05.2013 в 20:32

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, добавила 3ю строчку. да, ответ `1 oplus x_1x_2 oplus x_1x_2x_3`
но я не понимаю как к этому прийти. До 5й строчки правильно?
URL
18.05.2013 в 20:36

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
добавила 3ю строчку. - Я понял, что Вы хотели... но это просто неверно... Если Вы отрицание от конъюнкции вычисляете, то не получите конъюнкцию от отрицаний... а просто вернётесь к первому равенству...
URL
18.05.2013 в 20:42

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
`x to (bar{y} vee z) equiv bar{x} vee (bar{y} vee z) equiv bar{x wedge y wedge bar{z}} equiv ...` ну, а дальше избавляйтесь от отрицаний `bar{x} equiv x oplus 1`... раскрывайте скобки и приводите подобные...
URL
18.05.2013 в 20:43

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, тогда начало такое?
`x_1 to (bar(x_2) vee x_3) equiv`
`bar(x_1) vee (bar(x_2) vee x_3)`?

АПД: а все, теперь увидела ваш коммент, буду разбираться
URL
18.05.2013 в 20:47

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, a `bar{x wedge y wedge bar{z}}` это по какой формуле? :hmm:
URL
18.05.2013 в 20:52

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
закон де Моргана... и двойного отрицания...
URL
18.05.2013 в 21:11

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, если без отрицаний, то `x_1 oplus 1 vee x_2 oplus 1 vee x_3`?
URL
18.05.2013 в 21:17

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
Слишком муторно, по-моему, тогда от дизъюнкций избавляться...
URL
18.05.2013 в 21:25

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, эммм...
`bar x_1 wedge bar(x_2 vee bar (x_3))`
`bar x_1 wedge (bar (x_2) vee x_3)`?
URL
18.05.2013 в 21:34

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
ну, нет ведь такой формулы, которой Вы всё время пытаетесь воспользоваться...
URL
18.05.2013 в 21:38

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, может стоит изобрести ее, облегчила бы жизнь ))))
тогда я не понимаю :upset:
URL
18.05.2013 в 21:49

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
Что не понятно в моём начале решения?... :upset: ... Вы же начали писать потом тоже самое...
1) избавились от импликации ... `x to (bar{y} vee z) equiv bar{x} vee (bar{y} vee z)` ...
2) вспомнили про ассоциативность ... `bar{x} vee (bar{y} vee z) equiv bar{x} vee bar{y} vee z` ...
3) воспользовались законом двойного отрицания `bar{x} vee bar{y} vee z equiv bar{x} vee bar{y} vee bar{bar{z}}`
4) воспользовались законом де Моргана... `bar{x} vee bar{y} vee bar{bar{z}} equiv bar{x wedge y wedge bar{z}}` ...
5) избавились от общего отрицания ... ` bar{x wedge y wedge bar{z}} equiv ...` дальше сами...
URL
18.05.2013 в 21:58

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, как раз до 5го пункта все понятно. А потом у меня идут две неправильных попытки (еще и формулу новую выдумала)))
URL
18.05.2013 в 22:02

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
как раз до 5го пункта все понятно. - Потом Вы почему-то пытаетесь применить "собственный закон"... хотя выражение для отрицания имеет вид `bar{A} = A oplus 1`... Что мешает использовать эту формулу?...
URL
18.05.2013 в 23:47

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, так у меня выходит `x_1 oplus 1 vee x_2 oplus 1 vee x_3` а дальше ступор (если это вообще правильно)
URL
18.05.2013 в 23:56

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
Это Вы в пункте 2 решили в сторону свернуть... :upset: ...
Ну, можно так... только как я понимаю, надо скобки ставить... и замучаетесь теперь дизъюнкции расписывать... но хозяин-барин... `A vee B = AB oplus A oplus B` ... :bud:
URL
19.05.2013 в 00:04

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
А как лучше или проще? Я просто другого пути не вижу, но это не значит , что его нет
URL
19.05.2013 в 00:07

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
То есть выполнить пункт 5 и почти получить окончательный ответ Вы не желаете?... :upset:
URL
19.05.2013 в 12:25

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
All_ex, путаете вы меня. Я дошла до `bar(x_1 vee x_2 vee bar (x_3))` дальше надо избавиться от отрицаний, но сделала я это не правильно и где скобки надо ставить?
URL
19.05.2013 в 13:35

Дилетант
На плечах гигантов, на спинах электронов
Добрый день.
Tabry, Выписанная Вами формула не верна.
Как Вы ее получили?
Пункты 1)-5) All_exа — это почти полное решение.
Но если непонятно, как действовать таким образом, то лучше честно выполнить все действия одно за другим. Тоже в принципе не смертельно...
URL
19.05.2013 в 14:07

Tabry
У каждого в жизни есть кто-то, кто никогда тебя не отпустит, и кто-то, кого никогда не отпустишь ты.
мне не понятно как дальше раскрывать после `bar(x_1 vee x_2 vee bar (x_3))`
URL
19.05.2013 в 14:24

Дилетант
На плечах гигантов, на спинах электронов
мне не понятно как дальше раскрывать после
Еще раз повторю: это неверная формула!
Верная вот такая: `bar(x_1) vee bar (x_2) vee x_3`.
В ней сначала раскрыть оба отрицания (суммы по модулю 2 берите в скобки, чтобы соблюсти приоритеты операций). А затем по очереди дизъюнкции.
URL
19.05.2013 в 17:08

All_ex
Эллипс - это круг, который можно вписать в квадрат 25х40
Дилетант, читать дальше
URL
19.05.2013 в 17:23

Дилетант
На плечах гигантов, на спинах электронов
All_ex, читать дальше
URL