сократить схему до минимума и написать к нему уравнение.
Answers & Comments
Удачник66
Я а с чертой буду обозначать, как ~a. По-другому трудно придумать. 1) A = [(a /\ c) V (b /\ b /\ a /\ c)] /\ [(~a /\ b) V (a /\ ~?)] Здесь не пропечаталась буква, поэтому я поставил вопрос. A = (a /\ c) /\ [(~a /\ b) V (a /\ ~?)] = (a /\ c /\ ~a /\ b) V (a /\ c /\ a /\ ~?) = = 0 V (a /\ c /\ ~?) = a /\ c /\ ~?
2) A = [b V (a /\ (~b V (~a /\ c)) /\ c)] /\ b /\ [b V ~c] = b По закону поглощения
3) A = [X /\ Y /\ Z /\ Y /\ X /\ Z V (~X /\ ~Y) /\ Z /\ X] V V [~X /\ ((~Y /\ X /\ Y /\ ~Z) V (Y /\ Z /\ X)) /\ Z] V [Y /\ Z /\ (Y V ~Y) /\ Z /\ X] = = [X /\ Y /\ Z] V [~X /\ (0 V (Y /\ Z /\ X) /\ Z] V [Y /\ Z /\ 1 /\ X] = = [X /\ Y /\ Z] V [~X /\ Z] V [X /\ Y /\ Z] = (X /\ Y /\ Z) V (~X /\ Z) = = Z /\ [(X /\ Y) V ~X]
1 votes Thanks 1
Дпашник
А схемы как сократить? /\ - это дизъюнкция?
Удачник66
Я все время путаюсь в словах дизъюнкция и конъюнкция. /\ - лог. И. V - лог. ИЛИ.
Удачник66
Как сократить. В 1 будет последовательна цепочка из квадратиков a, c, и неизвестного ?
Удачник66
В 3 будет сначала Z, за ним последовательно разветвление из 2 параллельных цепочек, на одной X и Y, на другой ~X. надеюсь, понятно объяснил.
Дпашник
Слушай, я вот написал то что ты мне, расписал, мне почему-то подчеркнули что неправильно https://pp.userapi.com/c840728/v840728441/2a1c4/9wfMiGy384s.jpg
Answers & Comments
1) A = [(a /\ c) V (b /\ b /\ a /\ c)] /\ [(~a /\ b) V (a /\ ~?)]
Здесь не пропечаталась буква, поэтому я поставил вопрос.
A = (a /\ c) /\ [(~a /\ b) V (a /\ ~?)] = (a /\ c /\ ~a /\ b) V (a /\ c /\ a /\ ~?) =
= 0 V (a /\ c /\ ~?) = a /\ c /\ ~?
2) A = [b V (a /\ (~b V (~a /\ c)) /\ c)] /\ b /\ [b V ~c] = b
По закону поглощения
3) A = [X /\ Y /\ Z /\ Y /\ X /\ Z V (~X /\ ~Y) /\ Z /\ X] V
V [~X /\ ((~Y /\ X /\ Y /\ ~Z) V (Y /\ Z /\ X)) /\ Z] V [Y /\ Z /\ (Y V ~Y) /\ Z /\ X] =
= [X /\ Y /\ Z] V [~X /\ (0 V (Y /\ Z /\ X) /\ Z] V [Y /\ Z /\ 1 /\ X] =
= [X /\ Y /\ Z] V [~X /\ Z] V [X /\ Y /\ Z] = (X /\ Y /\ Z) V (~X /\ Z) =
= Z /\ [(X /\ Y) V ~X]
/\ - это дизъюнкция?