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

Question

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

Answer 1

 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                                                                                                                                         
для построения использовали пять  таблиц по логике