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

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



НазваниеДоказать истинность заключения
Дата конвертации28.09.2012
Размер103.24 Kb.
ТипДокументы
1. /задачи.docДоказать истинность заключения

Вариант

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

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)




Вариант

Формула

1

x(A(x) B(y))y(B(y) A(x))

2

x( A(x)x( C(x)))x((C(x)A(x))

3

x(A(x)x(B(x)))y( A(x) C(y)C(y)B(x))

4

x(A(x)x(B(y)))x( A(x) B(y))

5

x(A(x)B(y))y(A(x)(B(y)C(z))z(A(x)C(z))

6

x(A(x)y(B(y)C(z)))z(A(x)B(y)C(z))

7

x(A(x)B(z))y(C(y)A(x))z(C(y)B(z))

8

x(A(x)B(y))y((C(y)A(x))(C(y)y(B(y)))

9

x(A(x)B(y))y(A(x)(B(y)C(z)))(A(x)z(C(z)))

10

x(A(x)B(y)A(x)y(B(y)C(z)))(A(x)z(C(z)))

11

x(A(x)z(B(y)C(z)))y(B(y)(A(x)C(z)))

12

(x(A(x))x(B(x)))z((B(x)C(z))(A(x)C(z)))

13

(x( A(x))x( B(x)))( B(x)A(x))

14

(x(A(x)))(x(B(x)))y(C(y)A(x)C(y)B(x))

15

x( A(x)y(B(y)))( B(y)A(x))

16

(x(B(x))x(A(x)))y((A(x)C(y))( C(y)B(x)))

17

x( A(x)y(B(y)))(B(y)A(x))

18

x( A(x)y( B(y)))(B(y)A(x))

19

x(A(x)B(x))y(B(x)C(y)z(C(y)D(z)))

20

(x(A(x)B(x))z(C(z)A(x)))y(C(z)B(y))

21

(x(B(x)y(A(y)))(y(B(y)(A(x)C(z))))z(C(z))

22

x(B(x))y(A(y)B(x))

23

x(A(x)B(x))(y(C(y)A(x))z(C(z)B(x)))

24

x(B(x)A(y))(B(x)y(A(y)C(z)))z(C(z)))

25

x(A(x)B(z))y(C(y)A(x)z(C(y)B(z)))

26

(x(B(x))x(A(x)))(A(y)yC(y))( A(x)C(y))

27

(x(A(x))x(B(x)))y((A(x)C(y))(B(x)C(y)))

28

x(A(x)y(B(y)))( A(x)y(B(y)))B(y)

29

x(A(x)y(B(y)))( A(x)B(x))B(x)

30

x( A(x))(A(x)y(B(y)))

31

(x(B(x))x(A(x)))( B(x)A(x))A(x)

32

(x(B(x))x(C(x)))(A(y)B(x)A(y)C(x))

33

x(A(x)B(y))yz((C(z)A(x))(C(z)B(y)))

34

(x(A(x))x(C(x)))y(C(x)B(y))(A(x)B(y))

35

x(A(x))y(B(y))y(C(y)xD(x))(A(x)C(y)) D(y))

36

x(A(x))( A(x)y(B(y)))

37

x(B(x))y(A(y)B(x))

38

x(B(x)y(A(y)))y(B(y)(A(x)C(z)))z(B(z) C(z))

39

x(B(x)A(y))(B(x)y(A(y)C(z)))z(B(x)C(z))

40

x(A(x)B(x))y((C(y)A(x))(C(y)B(x)))

41

(x( A(x)y( C(y)))(C(x)A(x))

42

x(A(x) B(y))y(B(y) A(x))

43

x(A(x)B(z))y((C(y)A(x))z(C(y)B(z)))

44

x(A(x)B(y))z(C(z)A(x))y(C(z)B(y))

45

x(A(x)B(x))y(B(x)C(y))z(C(y)D(z)))

46

x( A(x)y( B(y)))(B(x)A(x))

47

x( A(x)x(B(x)))(B(x)A(x))

48

(x(B(x)y(A(y))))y(A(x)C(y)) C(y)B(x)

49

(x( A(x)y(B(y))))( B(x)A(x))

50

x(A(x)B(y))y(A(x)(B(y)C(z)))z(A(x)C(z))



Похожие:

Доказать истинность заключения iconДокументы
1. /Истинность видений.doc
Доказать истинность заключения iconПротокол №1 рассмотрения заявок на участие в открытом аукционе по предоставлению права на заключения договоров аренды на комплексы водоснабжения п. Зубова Поляна «18» мая 2010 г
Наименование предмета аукциона: Предоставление права на заключения договора аренды на комплекс водоснабжения
Доказать истинность заключения iconРекомендация № r (82) 17 Комитета министров государствам-членам относительно системы заключения и обращения с опасными преступниками
Конвенции о защите прав человека и основных свобод, резолюцию 73 (5) о стандартном минимуме правил обращения с заключенными вообще...
Доказать истинность заключения iconЛогические выражения
Дано целое число A. Проверить истинность высказывания: «Число a является положительным»
Доказать истинность заключения iconЛогические выражения pr 2 Практикум Логические выражения
Даны два целых числа: A, B. Проверить истинность высказывания: «Числа a и b имеют одинаковую четность»
Доказать истинность заключения iconФорма заключения экспертной комиссии по показателям благоустройства и оснащения Муниципального общеобразовательного учреждения «Средняя общеобразовательная школа с. Прималкинского»
Форма заключения экспертной комиссии по показателям благоустройства и оснащения Муниципального общеобразовательного учреждения
Доказать истинность заключения iconФорма заключения экспертной комиссии по показателям благоустройства и оснащения Муниципального общеобразовательного учреждения «Средняя общеобразовательная школа с. Прималкинского»
Форма заключения экспертной комиссии по показателям благоустройства и оснащения Муниципального общеобразовательного учреждения
Доказать истинность заключения iconВячеслав Харкив
Сегодня движение в будущее рассматривается как процесс, развивающийся по чисто земным законам. Тем не менее, как это ни странно,...
Доказать истинность заключения iconЗадача Доказать, что в выражении при некоторой степени переменной имеется отрицательный коэффициент

Доказать истинность заключения iconСознание «нью эйдж» религия антихриста?1
Сегодня движение в будущее рассматривается как процесс, развивающийся по чисто земным законам. Тем не менее, как это ни странно,...
Доказать истинность заключения iconОбзор судебной практики рассмотрения судами Республики Мордовия ходатайств об избрании меры пресечения в виде заключения под стражу и продления срока содержания под стражей, за период с 1 июля 2002 г по 1 сентября 2002 г
За указанный период судами Республики Мордовия рассмотрено 129 ходатайств об избрании меры пресечения в виде заключения под стражу...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов