Операции над высказываниями

[Maslov]

Marina в сообщении #306360 писал(а):

$ C + C B = C$?

$C + CB = C(1 + B) = C$

[ewert]

+4

[Marina]

$(\overline{\overline{{A}\to{C}}})\cdot(B+(\overline{C}\to{A}))=(\overline{A}+C)\cdot(B+(C+A))=\overline{A}B+\overline{A}C+\overline{A}A+CB+CC+CA=\overline{A}B+\overline{A}C+CB+C+CA=\overline{A}B+C+C=\overline{A}B$+С$
Если это правильно, то первое слагаемое $\overline{A}B$ -ложно, а второе слагаемое - истинно. В результате получается, что высказывание$(\overline{\overline{{A}\to{C}}})\cdot(B+(\overline{C}\to{A})$ - истинно?

[Maslov]

Marina в сообщении #306370 писал(а):

В результате получается, что высказывание$(\overline{\overline{{A}\to{C}}})\cdot(B+(\overline{C}\to{A})$ - истинно?

Да.

(Оффтоп)

ewert в сообщении #306365 писал(а):

+4

Это, между прочим, второе задание :)

[Marina]

ewert в сообщении #306365 писал(а):

+4

(Оффтоп)

И чё?

[ewert]

(Оффтоп)

Maslov в сообщении #306372 писал(а):

Это, между прочим, второе задание :)

Но зато уже четвёртая страница. И, между прочим, самое её начало. Я всего лишь проздравил (ну и заодно уж согласился).

[Marina]

А Вам Maslov, как всегда и СПАСИБО!!!!

[Maslov]

Marina в сообщении #306378 писал(а):

А Вам Maslov, как всегда и СПАСИБО!!!!

Ну в данном-то случае, уж совсем не за что :)

[Marina]

(Оффтоп)

Ни в обиду другим. Просто Ваши подсказки, наводящие вопросы всегда понятны

[Андрей АK]

А плюсом здесь везде дизъюнкция обозначается?

Вот из за этого все трудности с пониманием логических операций и возникают.

Единственная операция, "достойная" обозначаться плюсом - это сложение по модулю 2.

А дизъюнкция - это одна из разновидностей произведения чисел - двойственная к конъюнкции.