>>60299 Первое уравнение я понимаю как a→((b∨c)⋀¬d)=1.
Решение, как и принято
у вас в школе, будем обозначать (a, b, c, d, e, f, g, h, i, j).
Тогда имеем
8 решений вида (0, 0, 0, 0, 0, 0, 0, h, i, j),
3 решения вида (0, 0, 0, 0, 0, 0, 1, h, i, 0),
8+3 решений вида (0, 0, 0, 0, 0, 1, g, h, i, j),
решение (0, 0, 0, 0, 1, 0, 1, 0, 1, 0),
8+3 решений вида (0, 0, 0, 0, 1, 1, g, h, i, j),
2*(8+3) решений вида (0, 0, 0, 1, 0, f, g, h, i, j),
1+4+3 решений вида (0, 0, 0, 1, 1, f, g, h, i, j),
решение (0, 0, 1, 0, 1, 0, 1, 0, 1, 0),
2*(8+4)+8 решений вида (0, 0, 1, d, e, f, g, h, i, j),
2*(8+4)+8 решений вида (0, 1, 1, d, e, f, g, h, i, j),
решение (1, 0, 1, 0, 1, 0, 1, 0, 1, 0),
8+3+(8+3)+1+(8+3) решений вида (1, 1, 0, 0, e, f, g, h, i, j) и решение (1, 1, 1, 0, 1, 0, 1, 0, 1, 0).
Ответ. 165 решений.
Решал почти полной индукцией, разве что всякий раз учитывал набранный опыт касательно числа решений при некоторой комбинации истинностных значений формул, обозначенных некоторыми переменными. Интересуюсь другими методами. В частности, хочется узнать об идеях
>>60303-куна.
60302-кун
