A,b,c,d>0, c+d<=a, c+d<=b доказать
ab+bc<=ab​

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

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