Построить таблицу истинности для логических функций(любые две):
1. F (A, B, C) = (A ^ B) → (B V A)
2. F (A, B, C) = A V (¬C ^ B)
3. F (A, B) = ¬(A → B) V (A ^ B)
4. F (A, B, C) = ¬(A V B) → (¬A ↔ ¬C)