Реферат Рішення задач з логіки та обчисленню висловлювань

gn="justify"> 14с 2 d 3 23c 1 d 1 21с 1 d 1 21c 1 d 1 21с 2 d 2 14c 1 d 2 12с 2 d 2 14c 2 d 2 14

) p (r1.A1, r2.A2, r1 Г— A5, r2.A6) (r 1 > q 2 , d (r1.A 7 ) = d ( r 2 . A 7 ))

r 1 A 3 r 1 A 4 r 1 A 7 r 1 A 8 r 2 A 3 r 2 A 4 r 2 A 7 r 2 A < span align = "justify"> 8 з 1 d 2 12c