Задание №1.

Подробнее разбор можно посмотреть здесь.

Задание №2.

• Суть задания:

Логическая функция задана выражением, а у нас есть неполная таблица истинности (содержит не все наборы аргументов и значений). Требуется заполнить неполную таблицу истинности.

• Теория к заданию:

Приоритет логических операций:

¬y | ∧ | ∨ | → | ≡ |

not(y) | and | or | <= | == |

1 | 2 | 3 | 4 | 5 |

• Пример задания:

Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z) ∨ w.

Решение:

print('x y z w')
for x in range(2):
    for y in range(2):
        for z in range(2):
            for w in range(2):
                F = (x and (not(y))) or (y == z) or w  # прописываем выражение из условия
                if F == False: # или True, если в таблице стоит "1" в столбике "Функция"
                    print(x, y, z, w)

Далее сопоставляем значения из полученной таблицы в неполную из задания.