Решение задачи 149 из ege23.pdf сайт К.Ю. Полякова методом отображений

  ((¬x1=>y1)^z1)≡((¬x2 v y2)=>z2)
  ((¬x2=>y2)^z2)≡((¬x3 v y3)=>z3)
  ((¬x3=>y3)^z3)≡((¬x4 v y4)=>z4)
  ((¬x4=>y4)^z4)≡((¬x5 v y5)=>z5)

   Строим таблицу истинности для уравнения :-

    ((x1 v y1)^z1) ≡ ((x2^¬y2) v z2)
     

    либо в форме более удобной для чтения
  

    и генерируем матрицу