Задание 4

1

(---01---)

(0---110-)

(11—10--)

2

(---0-10-)

(---00-10)

(-1—01-0)

3

(-1----0-)

(01-0-1--)

(101-1---)

4

(---0-01-)

(0-10---1)

(--10—01)

5

(--1—0--)

(-0—1-1)

(-1-0-1-0)

6

(-0-01---)

(1---001-)

(-00-1—1)

7

(--11-0--)

(---110-1)

(-1—10-0)

8

(-10---0-)

(1---110-)

(0—1-10-)

9

(-01—011)

(-01-1—0)

(-1-0-0-1)

10

(-0-01---)

(-1-01-01)

(1—0-10-)

11

(-1-1—0-)

(1—0-01-)

(--01—11)

12

(-0-01---)

(01-1-0--)

(0-00—0-)

13

(--11-0--)

(-10-1-0-)

(0—1-01-)

14

(-1—011-)

(01—1-0-)

(-101---0)

15

(---011--)

(-0—101-)

(00-0-0--)

16

(-10-1---)

(-10—0-0)

(-0—11-1)

17

(--001---)

(--1-11-0)

(00-0-0--)

18

(-01—0--)

(---001-0)

(01—01--)

19

(-1—0-0-)

(1—0-1-1)

(0-10—0-)

20

(---01-1-)

(--0-00-1)

(---1-010)

21

(-1-1—0-)

(---11-01)

(-1—10-0)

22

(-01—0--)

(10-1-0--)

(0---101-)

23

(---01-1-)

(1-01---0)

(1—1-00-)

24

(-1----01)

(1-1---00)

(1-10—1-)

25

(0—01---)

(--001-0-)

(--10—00)

26

(0-1—0--)

(--101-1-)

(-10-0—1)

27

(01----0-)

(-00-1-1-)

(11-1-0--)

28

(---01—1)

(0---001-)

(-010---1)

29

(--1—0-1)

(-10-0—1)

(-1—10-0)

30

(-1---10-)

(0—1-0-0)

(00-1-1--)

Вариант

Доказать истинность заключения

1.

(BA); (B(AC))  (B(BC))

2

(AB); (CB)  (AC)(AC)

3.

(AB)  ( BA)(АС)

4.

(AB)  ((BC)(AC))

5

(A(BC)); (AB)  (AC)

6

( AB); (C B)  A C

7.

(AB);  (BC)   A

8.

(A(BC); (AB)  (A(AC))

9

(A(BC))  (B(AC))

10.

(AC); (AB);A  (AC)(BC)

11.

(AC); (BA)  ( CB)

12.

C; (AB)  ((CA)(CB))

13.

(A(BC))  ((AB) C)

14

(B (AC)); (BA)  (BC)

15.

(A(BC)); ( DA);B  (DC)

16.

(AB); (AC); (BD)  CD

17.

(AB); (CB); (D(AC)); D  B

18.

(AB); (BC); (CD)  (AD)

19

(B(AC)); (BA)  (B(BC))

20

(A(CB)); ( DA); C; D  DB

21

(AB); (CD)  (ACBD)

22

(AB); ( AB)  B (AC)

23

(BA); (B(AC))  (BC)

24

(AB)  (CA)( CB)

25

(AB); (A(BC))  (AC)

26

(ABAB)  (AC)(BC)

27

(A(BC));(AB);A  C

28

(ABC)  (A(BC))

29

(B(AC)); (BA)  (B(BC))

30

(ABCD); (A A)  C