помогите с алгеброй логики

[minimalfille]

ПАМАГИТЕ ПАЖАЛУЙСТА!!!
Я изучила всю теорию, все законы - всё поняла, а на практике применить не получается... В зависимости от моих действий получается разный ответ!!!

Может кто-нибудь мне поможет подробно разобраться в упрощении функции

ПРИМЕР ЗАДАНИЯ:

[Sands]

Какие конкретно проблемы возникают. Может опишеш более подробно свои действия?

[minimalfille]

действия дома, а я на работе! могу тока вечером залить, если домашний нэт заработает...
короче, проблема с упрощением функции f2 по законам алгебры логики. какую формулу вначале применить и почему её?

[Sla]

та формула одна закон моргана

сначала избавляешься от отрицания
потом перемножаешь
и опять упрощаешь

[minimalfille]

у меня ответ получился такой: (где / - отрицание)
F2= X1*( /x3 or X2 or X3)

[Sla]

у меня другой
/(х1*/х2) = /х1 + х2

расскажи дальше...

[minimalfille]

может я тупица, но у меня так:

[Sla]

а ты читал(а) условие задачи?

[minimalfille]

читала, а в чем косяк?

[minimalfille]

 Путем тождественных преобразований получить минимальную форму записи функции F2.

[Sla]

читала, а в чем косяк?

у тебя в задаче
/(х1*/х2)  ....

на рисунке
х1*/х2

[minimalfille]

пардон!!!
я позорище, даже не могу правильную задачу отправить!!!!!!

вот, что значит заниматься посторонними делами в рабочее время!!!!
у меня их просто 9 штук!!!

[minimalfille]

а в первой задаче у меня не получается /(х1*/х2) = /х1 + х2.
получилось "1"

f2=(/(x1*/x2)+/(x1*/x3)+x2*/x3)(/(x2*/x3)+x1*/x3)=(/x1*x2+/x1*x3+x2*/x3)(/x2*x3+x1*/x3)=/x1*x2*/x2*x3(=0) + /x1*x3*/x2*x3 + /x2*/x3*/x2*x3(=0) + /x1*x2*x1*/x3(=0) + /x1*x3*x1*/x3(=0) + x2*/x3*x1*/x3 = /x1*x3*/x2*x3 + x2*/x3*x1*/x3 = /x1*/x2*x3 + x1*x2*/x3 = 1

или я ничего в этом не понимаю?

[Sla]

ну и...
ты бы рассказала что делаешь и как, ане ждать ответов

[Sla]

Давай-ка вспомним законы де Моргана?
в другой литерации
~(x*y) = ~x + ~y

f2=~(x1*~x2)+..... = ~x1 +x2 .... ? Так?
у тебя
f2=~(x1*~x2)+....  =~x1*x2   
Разницу чувствуешь?

[minimalfille]

между прочим я не жду ответов! жду разъяснений, чтоб разобраться.
SLA, спасибо. (у меня все ошибки из-за невнимательности, но я делаю все поэтапно и стараюсь собраться с мыслями)

вот то, что получилось:
f2=(x1*/x2+x1*/x3+x2/x3)*(/(x2*/x3)+x1*/x3)=(x1*/x2+x1*/x3+x2/x3)*(/x2+x3)+x1*/x3)= x1*/x2*/x2 + x1*/x2*/x3 + x2*/x3*/x2(=0) + x1*/x2*x3 + x1*x3*/x3(=0) + x2*x3*/x3(=0) + x1*/x2*x1*/x3 + x1*/x3*x1*/x3 + x2*/x3*x1*/x3 = x1*(/x2 + /x2*x3 + /x2*/x3 + x2*/x3 + x3)

if /x2+x3=x2*/x3 ?

тогда f2=x1*(x2*/x3 + /x2*x3 + /x2*/x3)

x2*/x3 + /x2*x3=1

f2=x1+x1*/x2*/x3
так?

[minimalfille]

просто мне не у кого спросить, а заочно учиться и работать трудновато немного.

[minimalfille]

/x2+x3=x2*/x3 неверно, это я уже поняла
тогда что делать с x1*(/x2 + /x2*x3 + /x2*/x3 + x2*/x3 + x3)?

кстати у нас большая разница во времени! у нас 12:28 (как в Москве)

[Sla]

F2=(x1*~x2 +x1*~x3+x2*x~x3)*(~(x2*~x3)+x1*~x3)
1.   ~(x2*~x3)=~x2*x3
2.   перемножаем скобки
3.   x1*~x2 * ~x2*x3 = x1*~x2*x3
4.   x1*~x3 * ~x2*x3 = 0
продолжи сама

с разницей во времени все в порядке -1 как в Москве

[minimalfille]

ты говоришь: ~(x2*~x3)=~x2*x3
а это тогда что:  /(А V В) = /А*/В?
я запуталась

[minimalfille]

 /(А V В) = /А */В?
 /(А * В) = /А V /В?

[minimalfille]

а по поводу времени... написано:  "Ответ #20 : Сегодня в 10:11"
а у меяня на компе обед - 13 часов

[Sla]

ты говоришь: ~(x2*~x3)=~x2*x3
а это тогда что:  /(А V В) = /А*/В?
я запуталась

+5
извини, я не прав
проверка бдительности

F2=(x1*~x2 +x1*~x3+x2*x~x3)*(~(x2*~x3)+x1*~x3)
1.   ~(x2*~x3)=~x2+x3
2.   перемножаем скобки
3.   x1*~x2 * ~x2 = 0
4.   и т.д.

[minimalfille]

3.   x1*~x2 * ~x2 = 0

почему? тоже проверка?
A+A=A
A*A=A

[minimalfille]

f2=(x1*/x2+x1*/x3+x2/x3)*(/(x2*/x3)+x1*/x3)=(x1*/x2+x1*/x3+x2/x3)*(/x2+x3)+x1*/x3)= x1*/x2*/x2 + x1*/x2*/x3 + x2*/x3*/x2(=0) + x1*/x2*x3 + x1*x3*/x3(=0) + x2*x3*/x3(=0) + x1*/x2*x1*/x3 + x1*/x3*x1*/x3 + x2*/x3*x1*/x3 = x1*(/x2 + /x2*x3 + /x2*/x3 + x2*/x3 + x3)

что делать с x1*(/x2 + /x2*x3 + /x2*/x3 + x2*/x3 + x3)?

я опять перемножила скобки и упростила - получильсь то же самое : x1*(/x2 + /x2*x3 + /x2*/x3 + x2*/x3 + x3)!!!
это что не упрощается или я не вижу чего-то!?

[minimalfille]

я кажется поняла
f2=x1*/x2 + x1*/x2*x3 + x1*x2*/x3 + x1*/x2*/x3 + x1*x3

x3=1*x3
1=/x2+x2
x1*x3=x1*x3*(x2+/x2)=x1*x2*x3 + x1*/x2*x3

f2=x1*/x2 + x1*/x2*x3 + x1*x2*/x3 + x1*/x2*/x3 + x1*x2*x3 + x1*/x2*x3
f2=x1*/x2 + x1*/x2*x3 + x1*x2*/x3 + x1*/x2*/x3 + x1*x2*x3
f2=(x1*/x2 + x1*/x2*x3 + x1*/x2*/x3) + (x1*x2*x3 + x1*x2*/x3)
f2=x1*/x2*(1 + x3 + /x3) + x1*x2*(x3 + /x3)

1 + x3 + /x3=1, x3 + /x3=1

f2=x1*/x2 + x1*x2*
f2=x1(/x2+x2)

/x2+x2=1

f2=x1?

[Sla]

minimalfille, почему бы и нет?
ты знаешь, нет времени проверить
главное ты поняла - внимательно и с применением правил
можно даже себя проверить - в ексель загнать формулу

про бдительность +5

Offtopic:

У меня в свое время сложились хорошие отношения с преподавателями.
И случилось так, что я на некоторые лекции перестал ходить (скучно было – препод бубнил себе под нос старую теорию), а я в это время, будучи студентом, работал на кафедре.
Встречает он (нудный препод) меня в коридоре и спрашивает : Ты когда на лекции ходить будешь?
Я ему в ответ правду-матку: скучно, я засыпаю.
Но иногда я приходил к нему на лекции. Вот и настало время прийти на очередную лекцию,а перед лекцией я ребятам рассказал о встрече спреподом.
И вот сижу, вывожу «диаграмму сна», и краем полусонного глаза вижу грубую ошибку на доске.
Встаю, задаю вопрос с указанием на ошибку.
Препод с чувством юмора был : Сла, ты спишь или все-таки не скучно?

[RXL]

minimalfille, насчет времени: выставь в профиле у себя часовой пояс. Соотв., для Москвы это "3".
https://forum.shelek.ru/index.php?action=profile;u=6794;sa=theme

[Sla]

что касается ЗАДАЧИ 1 твой ответ неверный
я конечно понимаю что эти иксы в глазах рябят, но все же
кста, про ексель, я свой ответ проверил у меня совпало

[minimalfille]

RXL, спасибо!
и тебе, Сла, тоже-сла спасибо-сла (люблю Туве Янсон )

раз у меня неправильно, значит я самый последний деградат и конкретно чего-то не понимаю!!!
я 3 раза перерешала и тоже самое.
может, я где-то сделала так, как нельзя!?!?
ГДЕ? кто-нибудь ХЕЛП деградату!!!

Р.S. у меня тут новые проблемы возникли:

f2=(/x3*x1+/(x2*/x3)(/(x1*/x3)+x1*/x2+x2*/x3)
f2=(/x3*x1+/x2+x3)(/x1+x3+x1*/x2+x2*/x3)
f2=x1*/x2*/x3(=0) + /x1*/x2 + /x1*x3 + x1*x3*/x3(=0) + /x2*x3 + x3 + x1*/x2*/x3 + x1*/x2 + x1*/x2*x3 + x1*x2*/x3 + /x2*x2*/x3(=0) + x2*/x3*x3(=0)
f2= /x1*/x2 + /x1*x3 + /x2*x3 + x1*/x2*/x3 + x1*/x2 + x1*/x2*x3 + x1*x2*/x3
всё... не могу дальше понять, что и как разложить, чтоб выделить какой-нибудь общий множитель