Решить таблицу истинности? ! ¬(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                                                                                                                                         
для построения использовали пять  таблиц по логике