n="justify"> В® C (z))) =
= Г? ( Г? " < span align = "justify"> x (B (x) В® A (y)) V Г? (B (x) В® " y (A (y) В® C (z))) V $ z ( Г? B (x) VC (z))) =
= " x (B (x) В® A (y)) & (B (x) В® " y (A (y) В® C (z))) & Г? $ z ( Г? B (x) VC (z)) =
= " x ( Г? B (x) VA (y)) & ( Г? B (x) V " y ( Г? A (y) VC (z))) & " z (B (x) & Г? C (z)) =
= " v ( Г? B (v) VA (y)) & ( Г? B (x) V " w ( Г? A (w) VC (z))) & " d (B (x) & Г? C (d)) =
= " v " w " d (( Г? B (v) VA (y)) & ( Г? B (x) V Г? A (w) VC (z)) & (B (x) & Г? C (d));
Д = {B (x);
Схожі реферати:
Реферат на тему: Методи рішень завдань логіки висловлювань, логіки предикатів і реляційної л ...Реферат на тему: Принцип резолюції в обчисленні висловлювань та логіки предикатів і його мод ...Реферат на тему: Основи логіки: завдання та рішення Реферат на тему: Інформатика. Рішення задач Реферат на тему: Рішення геометричних задач
