Прогромирование по пайтону логика

¬(¬A → (B → ¬C)) = 1
¬(¬A → B) ∧ ¬(A → B) = 1
A ∨ ¬(B ∧ ¬C) ∨ ¬(A → ¬(¬B ∧ C) = 0
(A ∨ B) ∧ (C ∨ D) = 1
(A ∨ B ∨ C) ∧ ¬B ∧ ¬C ∧ D = 1
(A → ¬C) ∨ ¬B ∧ C ∧ A ∨ D = 0

(что это O_O я к этому не готов...)

¬(¬A → (B → ¬C)) = 1
Упрощение: A ∧ B ∧ C = 1. Решение: A = 1, B = 1, C = 1.

¬(¬A → B) ∧ ¬(A → B) = 1
Упрощение: (¬A ∧ ¬B) ∧ (A ∧ ¬B) = 1. Решение: Не имеет решений (противоречие).

A ∨ ¬(B ∧ ¬C) ∨ ¬(A → ¬(¬B ∧ C)) = 0
Упрощение: ¬A ∧ (B ∧ ¬C) ∧ (A ∧ (¬B ∧ C)) = 1. Решение: Не имеет решений (противоречие).

(A ∨ B) ∧ (C ∨ D) = 1
Решение: (A=1 или B=1) и (C=1 или D=1). Множество решений.

(A ∨ B ∨ C) ∧ ¬B ∧ ¬C ∧ D = 1
Упрощение: A ∧ ¬B ∧ ¬C ∧ D = 1. Решение: A=1, B=0, C=0, D=1.

(A → ¬C) ∨ ¬B ∧ C ∧ A ∨ D = 0
Упрощение: (¬A ∨ ¬C) ∧ (B ∨ ¬C ∨ ¬A) ∧ ¬D = 0.
Дальнейшее упрощение: ¬A ∧ B ∧ ¬D = 0. Решение: A = 1 или B = 0 или D = 1. Множество решений.