ЕГЭ-2: таблица истинности — определить функцию

Подставим значения.

$F(1,0,1)$:

• $\lnot x_1 = \lnot 1 = 0$.
• $\lnot x_1 \lor x_2 = 0 \lor 0 = 0$.
• Первая скобка равна 0 — вся конъюнкция уже равна 0.

$F(1,1,0)$:

• $\lnot x_1 \lor x_2 = 0 \lor 1 = 1$.
• $\lnot x_2 \lor x_3 = \lnot 1 \lor 0 = 0 \lor 0 = 0$.
• Вторая скобка равна 0 — конъюнкция равна 0.

На Python:

def F(x1, x2, x3):
    return (not x1 or x2) and (not x2 or x3)

print(int(F(1, 0, 1)))  # 0
print(int(F(1, 1, 0)))  # 0
print(int(F(0, 0, 0)))  # 1

Замечание: выражение $\lnot A \lor B$ эквивалентно импликации $A \to B$. Функция читается как «если $x_1$, то $x_2$; и если $x_2$, то $x_3$».