Вот решения на с++.
Оба делал через операторы if.
X1 x2 x3 x4 x5 x6 x7 F1 1 0 1 1 1 1 01 0 1 0 1 1 0 10 1 0 1 1 0 1 0Какое выражение соответствует F✔) x1 ^ ¬x2 ^ x3 ^ ¬x4 ^ x5 ^ x6^ ¬x72) x1 v ¬x2 v x3 v ¬x4 v ¬x5 v x6 v ¬x7 — не подходит, в первом x1 = 1, 1 v ... = 1.3) ¬x1 v x2 v ¬x3 v x4 v ¬x5 v ¬x6 v x7 — не подходит, в третьем x7 = 1, ... v 1 = 1.4) ¬x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 — не подходит, для второго получается 0 ^ ... = 0.
3. Дан фрагмент таблицы истинности выражения Fx1 x2 x3 x4 x5 x6 x7 F? ? ? 1 ? 0 ? 0? ? ? 0 ? ? 1 10 ? ? 1 ? ? ? 0где знак ? - пустые клеткикаким выражением может быть F?✔) x1 ^ ¬x2 ^ ¬x3 ^ ¬x4 ^ x5 ^ x6 ^ x72) ¬x1 v x2 v x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 — в последнем x1 = 0, ¬0 v ... = 1.3) x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 — во втором x4 = 0, ... ^ 0 ^ ... = 0. 4) x1 v ¬x2 v ¬x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 — в первом x6 = 0, ... v ¬0 v ... = 1.
Если считать, что в каждом варианте должна быть минимум одна курица или собака, то таких вариантов 15, а если можно считать, что кого-то из них 0, то 17.
Первый файл - без нулей, второй - с нулями
В ходе преобразование получилось: 47277
.
.
.
.
.
P.s. табличка пригодится для дальнейших преобразований.
Какой язык программирования?PASCAL ABC? C++? JAVA?