Определим значения логических высказываний A, B, C, и D.
1) А и (Марс — планета) — истинное высказывание. Так как высказывание истинно, а из высказываний в скобках одно истинно, а другое ложно, значит, (Марс — планета) — истинное высказывание. Тогда высказывание A должно быть истинным, чтобы вся конъюнкция была истинной.
2) В и (Марс — планета) — ложное высказывание. Поскольку мы установили, что (Марс — планета) — истинное высказывание, то высказывание B должно быть ложным, чтобы вся конъюнкция была ложной.
3) С или (Солнце — спутник Земли) — истинное высказывание. Поскольку из высказываний в скобках одно истинное, а другое ложное, то (Солнце — спутник Земли) — ложное высказывание. Следовательно, высказывание C должно быть истинным, чтобы вся дизъюнкция была истинной.
4) D или (Солнце — спутник Земли) — ложное высказывание. Мы уже установили, что (Солнце — спутник Земли) — ложное высказывание. Тогда высказывание D должно быть ложным, чтобы вся дизъюнкция была ложной.
Истина: AC
Ложь: BD