Даны две посылки.Найдите следствие из посылок,содержащее только переменные x и z.

1.Составить объединенную таблицу истинности посылок

2.Выделить нужные строки и подчеркнуть значения нужных переменных

3.По нужным строкам составить СДНФ

 А             С                           Д                        В

 ....

   453мм               х мм                       65мм

АВ=АС+СД+ДВ=453+х+65=518+х

при х=315             АВ=518+315=833мм

при х=283             АВ=518+283=801мм

  А      ?     С                            Д                          В

  ....    АВ=214

                         84мм                    у мм

АС=АВ-(СД+ДВ)=214-(84+у)=214-84-у=130-у

при у=28                 АС=130-28=102мм

при у=95                 АС=130-95=35мм

  А             С                           Д                        В

 ....

   453мм               х мм                       65мм

АВ=АС+СД+ДВ=453+х+65=518+х

при х=315             АВ=518+315=833мм

при х=283             АВ=518+283=801мм

   А      ?     С                            Д                          В

  ....    АВ=214

                         84мм                    у мм

АС=АВ-(СД+ДВ)=214-(84+у)=214-84-у=130-у

при у=28                 АС=130-28=102мм

при у=95                 АС=130-95=35мм