На рисунке приведён частично заполненный фрагмент таблицы истинности

Решение по шагам

1. 1

   Как рассуждать

   Решение. Заметим, что переменная d всегда должна быть равна 0, иначе выражение будет истинным. Сразу же можно определить столбец, в котором находятся значения переменной d, — столбец 2.Найдем значения переменных a, b, c, при которых первое и второе подвыражения ложны: [рисунок] Следовательно, с — первый столбец (единственно возможный с одной единицей), b — третий (единственный возможный для инвертированных значений с), а — четвертый по остаточному принципу. Приведём программное решение. Паскаль
   var a, b, c, d: boolean;begin for a := False to True do for b := False to True do for c := False to True do for d := False to True do if not ((not a and not b) or (b=c) or d) then writeln(ord(a), ord(b), ord(c), ord(d));end.
   Python
   from itertools import * for a, b, c, d in product([0, 1], repeat=4): if not ((not a and not b) or (b == c) or d): print(a, b, c, d)
   С++
   #include <iostream>using namespace std;int main(){ for(int a = 0; a <= 1; a++) for(int b = 0; b <= 1; b++) for(int c = 0; c <= 1; c++) for(int d = 0; d <= 1; d++) if !((!a and !b)		(b == c)		d) cout << a << ' '<< b << ' ' << c << ' ' << d;}

   После чего проведем анализ, аналогичный решению выше. Приведем другое решение. Составим таблицу истинности для выражения (¬a ∧ ¬b) ∨ (b ≡ c) ∨ d вручную или при помощи языка Python: print("a b c d")for a in range(0, 2): for b in range(0, 2): for c in range(0, 2): for d in range(0, 2): if not((not(a) and not(b)) or (b == c) or d): print(a, b, c, d)Далее выпишем те наборы переменных, при которых данное выражение равно