1) F = ¬A ∨ ¬B

Формула записана корректно: отрицание применяется отдельно к A и B, а затем результаты соединяются дизъюнкцией.