Занятие 8. Логика: И, ИЛИ, НЕ — и Задание 2

Цель занятия: обучающиеся вычисляют логические выражения через таблицу истинности и сдают Задание 2.

Разминка-вспоминание (5 мин)

1. Как определить чётность отрицательного числа надёжно?
2. Первое действие с датчиком освещённости на новом месте? (интервальный возврат: занятие 3)
3. Какие варианты пар карточек разыгрываются жеребьёвкой в Задании 2?

Разбор (worked example): полное решение Задания 2 регламента — 30 баллов

Условие (Приложение 1). Датчик вертикально, 0,5–1 см над столом. Жеребьёвка задаёт пару карточек (Ч-Ч, Ч-Б, Б-Ч, Б-Б); белая = 1, чёрная = 0. По команде судьи: ввести карточкой A, по кнопке вывести (5 б.); ввести карточкой B, по кнопке вывести (5 б.); по кнопке вывести значение (B И A) ИЛИ НЕ A (5 б.). Две проверки с разными парами, между ними перезапуск разрешён. Итого 30.

Сначала — таблица истинности на бумаге

Проверка себя алгеброй: (B∧A)∨¬A = B∨¬A — выражение ложно только при A=1, B=0. Таблица, посчитанная до сдачи, — ваш контроль судейского результата: услышали вариант жеребьёвки — уже знаете ответ.

Эталонный код (SPIKE 3)

from hub import port, button, light_matrix
import color_sensor, runloop

LIGHT = port.D

def refl_median(n=5):
    vals = [color_sensor.reflection(LIGHT) for _ in range(n)]
    vals.sort()
    return vals[n // 2]

async def wait_press(b=button.RIGHT):
    while not button.pressed(b):
        await runloop.sleep_ms(10)
    while button.pressed(b):
        await runloop.sleep_ms(10)

async def show(v):
    print(v)
    await light_matrix.write(str(v))

async def read_card(porog, imya):
    print("Карточка", imya, "→ правая кнопка")
    await wait_press()
    v = 1 if refl_median() > porog else 0
    await show(v)                       # вывод введённого значения = 5 баллов
    return v

async def main():
    # Калибровка на месте (левая кнопка подтверждает каждую карточку)
    print("Калибровка: белая → левая кнопка");  await wait_press(button.LEFT)
    w = refl_median()
    print("Калибровка: чёрная → левая кнопка"); await wait_press(button.LEFT)
    b = refl_median()
    porog = (w + b) // 2
    print("POROG =", porog)

    a = await read_card(porog, "A")     # 5 баллов
    bb = await read_card(porog, "B")    # 5 баллов
    await wait_press()
    rez = (bb and a) or (not a)         # (B И A) ИЛИ НЕ A
    await show(1 if rez else 0)         # 5 баллов; формат 0/1 — как вводили
runloop.run(main())

Разбор: калибровка на левой кнопке, ввод на правой — судья видит две разные процедуры и не путает их; bb вместо b — имя b уже занято чёрным калибровочным значением (классический баг «переменная перезаписана»); Python вернёт из (bb and a) or (not a) число или булево — приводим к 0/1 явно, чтобы формат совпал с форматом ввода; вторая проверка — просто перезапуск программы, это разрешено условием.

Практика

Мини-проверка выхода

Задание 2 сдано на 30/30; блиц: «при каком единственном наборе (A, B) выражение дня ложно и почему?»

Уровни сложности