Помогите! Задача по информатике.

Надо составить таблицу истинности.
A_В_С_(A&C)__не BvC__не (не BvC)__(A&C)->не (не BvC)
0_0_0____0_____1_______0_____________1
0_0_1____0_____1_______0_____________1
0_1_0____0_____0_______1_____________1
0_1_1____0_____1_______0_____________1
1_0_0____0_____1_______0_____________1
1_0_1____1_____1_______0_____________0
1_1_0____0_____0_______1_____________1
1_1_1____1_____1_______0_____________0
Как видишь при А, В, С равным соответственно 1, 0, 1 и 1, 1, 1 твое выражение принимает значение ноль.

Сначала упростим:
(A&C)->не (не BvC)=не (A&C) v не ( не B v C) = (не A v не С) v (В & неC) =
т. к. неС v (В & неC) = не С, то
= не A v не С
последнее ложно, когда А истинно, С истинно (можно посмотреть по табл. истинности)
имеем: (A&C)->не (не BvC)=0 когда А=1, С=1, В - любое
Vektor, а почему у нас разные ответы получились?
В не входит, значит от ее значения не зависит истинность либо ложность высказывания, я так думаю

Тут огромная подсказка в знаке следствие, т. е. "->". Если взять две переменные А, B, то значение при этом знаке является 0(False) тогда и только тогда, когда (<=>). А=1 B=0. Из этого следует, что ""А&C должно быть равно 1(True), а не (не BvC) = 0.
1)А&C=1 тогда и только тогда когда оба операнда равны 1.Следует, что A=1, и C=1.
2) Видимо ты потерел что-то в знаках, не сходится. Может быть здесь строгая дизъюнкция? Тогда:
(A&C)->не (не B_vC)=0,<=> A=1,B=1,C=1.

Роман Орлов,

A_В_С_(A&C)__не BvC__не (не BvC)__(A&C)->не (не BvC)
0_0_0____0_____1_______0_____________1
0_0_1____0____(0)______(1)_____________1
0_1_0____0_____0_______1_____________1
0_1_1____0____(0)______(1)_____________1
1_0_0____0_____1_______0_____________1
1_0_1____1____(0)______(1)____________ (1)
1_1_0____0_____0_______1_____________1
1_1_1____1_____1_______0_____________0
Вот поравил, Дизъюнкция даёт правду тогда и только тг кгд Оба операанда равны нулю.