1. Утверждение "Марс — планета" истинно. Следовательно, для истинности "А и (Марс — планета)", А должно быть истинным. Для ложности "В и (Марс — планета)", В должно быть ложным.
2. Утверждение "Солнце — спутник Земли" ложно. Следовательно, для истинности "С или (Солнце — спутник Земли)", С должно быть истинным. Для ложности "D или (Солнце — спутник Земли)", D должно быть ложным.
Истина: А, С
Ложь: В, D