Расчетно-графическая работа

Вариант

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

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D)  (ACBD)

6

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

7.

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

8.

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

9

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

10.

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

11.

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

12.

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

13.

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

14

(ABCD); (A A)  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A)(CB)

22.

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

23

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

24

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

25

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

26

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

27

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

28

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

29

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

30

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

31.

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

32.

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

33.

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

34.

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

35.

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

36.

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

37.

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

38.

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

39.

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

40.

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

41.

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

42.

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

43

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

44.

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

45.

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

46.

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

47.

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

48.

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

49.

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

50.

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