????? ??? ?????? 3? ?? ?? ??? ???? ??? ?? ??? ????.? ??? ???? ???? ??? ???? ??? ?? ?? ????? ??? ???.??? 3? ?? ???? ??? ????,?? ???? ????,??? ??? ?? ??? ??? ??? ?? ??? ?? ????.

n

1.??? ??? ?? ???? ???? ???(A?),???(B?),??? ?? ???(C? ??)? ?? ???? ??? ????.? ??? ? ???? ??,??,??? ??? ??? ??,?? ???? ??? ??? ????? ??? ? ??? ?? ???.

n

?? ??? ??? ????:

n

(1) ?? ?? ? ??:??? ??? ??? ?? ? ?? ??? ??????.

n

(2) ?? ??:?? ??? CNF??,??? ???? ??? ?????.

n

(3) ?? ??:?? ??,?? ?? ? ?? ??? ?????.

n

(4) ??? ? ??? ??:??? ???? ?? ??? ??? ??? ????.

n

(5) ?? ?? ? ??? ??:?? ??? ???? ??? ? ??? ???? ???.

n

2、?? ???? ??? B ??? ??:

n

(1) ????(B/L) ? ?? ??:??? ?? ???? B ??? ???? ??,???? C ?? ?? B ??? ? ? ???,?? ???? ??? ?? ?????.

n

(2) ?? ??(D/O ??) ??:?? ??? C?? ?? ????? ???,B ??? ??? ??? ? ?? ??? ???? C ??? ?? ???? ???? ? ? ????.??? ???? ? ???? ??? ????,??? ?? ?? ? ?? ??? ??? ? ????.

n

?? ??? C ??? ??:

n

(1) ?? ??:?? ??? ???? ?? ? ??,?? ???? ??? ???? C ??? ?? ??? ? ???,?? ?? ?? ? ?? ?? ??? ???? ? ????.

n

(2) 3? ??:?? ???? C? ?? ???? ?? ???? ???,?? ? ?? ?? ??? ??????,? ???? ??? ??,?? ?? ??? ?? ??? ??? ?? ?? ??? ???? ?? ?????.

n

3.??? ??(1) ?? ? ?? ???:????? ??? ?? ?? ??? ???? ?? ?? ?? ??? ?? ? ??? ???.

n

(2) ?? ? ?? ?? ???:?? ?? ??? ?? ? ?? ?? ??? ??? ?,?? ?? ??? ??? ?? ??? ????? ??? ?? ?? ??? ????? ???? ?? ?? ??? ??? ???.

n

4.??? ?? ??(1) ?? ??:???,?? ??,?? ??,?? ?? ? ?? ?? ??? ?????.? ???? ??? ???? ??,?? ? ???? ????? ????? ???.

n

(2) ?? ??:?? ??? ??? ???? ??? ???? ?? ??? ???? ??? ? ??? ????.

n

3? ?? ??? ??? ? ???? ???? ?? ??,??? ?? ?? ? ??? ??? ??? ?? ??? ?????.??? ??? ?? ???? ??? ?? ?????.???? ??? ???? ???? ?? ??? ??????.

n