помогите решить таблицу истинности?! ¬(a & с ↔ a) → (¬b V a)

 a   b   c   a&c  a&c⇔a  не(a&c⇔a)    не(b)  не(b) V a   не(a&c⇔a)⇒(не(b) V a)----------------------------------------------------------------------------------------------------------------------------  0   0   0      0          1            0              1            1                       1                             0   0   1      0          1            0              1            1                       1                             0   1   0      0          1            0              0            0                       0                          0   1   1      0          1            0              0            0                       0                            1   0   0      0          0            1              1            1                       1                             1   0   1      1          1            0              1            1                       1                             1   1   0      0          0            1              0            1                       1                             1   1   1      1          1            0              0            1                       1                                                                                                                                          для построения использовали пять  таблиц по логике