SMT-решатели. Лекция 1.: 1 комментарий

  1. Слайд «выполнимость формулы ИВ»: вторая невыполнимая формула выполнима
    (0 & 1)=>(0 | 1) = 0=>1 = 1
    (1 & 0)=>(1 | 0) = 0=>1 = 1

Комментарии запрещены.