$\varphi[A] = \{ \{\neg a, b\}, \{a\} \}$