var i: integer;
begin
for i := 1000 to 9999 do
if (i div 1000) * (i div 100 mod 10) * (i div 10 mod 10) * (i mod 10) = 40
then writeln(i)
<span>end.</span>
В таблице нас больше всего интересует последняя строка, т.к. в выражениях, в основном, дизъюнкция и импликация (за исключением последнего, там еще и конъюнкция), а дизъюнкция и импликация ложны только в одном случае, поэтому нам проще работать с ложью.
Подставим значения из последней строки в каждое выражение:
Примечание: импликация ложна в случае 1 → 0.
1) (1 → 1) → 0 - ложно, т.к. выражение в скобках даёт 1, и мы получаем (1) → 0 = 0
2) 1 → ( 1 → 0 ) - ложно, т.к. выражение в скобках даёт 0, и мы получаем 1 → (0) = 0
3) ¬1 ∨ 1 → 0 = (0 ∨ 1) → 0 = 1 → 0 - ложно
4) 1 ∨ 1 ∧ ¬ 0 - истинно, т.к. в дизъюнкции первой уже стоит 1. Кроме того, 1 ∧ ¬ 0 так же даёт 1.
Ответ: 4
Общие свойства это одинаковые параметры у нескольких объектов, а отличительные - то что разное у объектов(не повторяющееся), индивидуальное