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

d 2 12c 2 d 3 23с 1 d 1 21

) (r 1 r 2 )

А 3 А 4 А 7 А 8 з 2 d 3 23

) 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 1 d 2 12с 1 d 2 12c 2 d 2