Каталог

🎯 Не нашли готовое задание?

Закажите индивидуальное решение!

ИДЗ 2

❗❗❗Для поиска своего варианта воспользуйтесь поиском(строкой) выше 👆.❗❗❗
Чтобы найти свой вариант введите первую строку.
Пример: 1) (((not N) eqv Q) imp ((not F) and N)) xor (Q or F)

Задание:
Записать таблицы истинности для данных высказываний. Таблица должна быть подробной, то есть каждой логической операции в высказывании должен соответствовать свой столбец. Порядок букв – заголовков первых столбцов таблицы истинности должен совпадать с порядком встречаемости соответствующих букв в формуле. Для сокращения ширины столбцов разрешается обозначать части формул. Например, в рассмотренной таблице если обозначить F1 = A imp B F2 = C or (not A), то в заголовке последнего столбца можно записать F1 or F2.
В последнем задании используется четыре переменных, поэтому в таблице будет 16 строк.

📁 Дополнительные материалы:
Вариант 1

Вариант 1

1)  (((not N) eqv Q) imp ((not F) and N)) xor (Q or F) 2)  M and ((((not P) eqv H) imp ((not M) or P )) xor H) 3)  J eqv ((T imp (((not L) …
Вариант 2

Вариант 2

1)  (((not V) or L) xor ((not K) eqv V)) imp (L and K) 2)  Y or ((((not O) xor N) imp ((not Y) eqv O )) and N) 3)  J xor ((P imp (((not Z) …
Вариант 3

Вариант 3

1)  (((not X) imp N) or ((not J) eqv X)) and (N xor J) 2)  Z xor ((((not P) or S) eqv ((not Z) and P )) imp S) 3)  L or ((Y eqv (((not W) i…
Вариант 4

Вариант 4

1)  (((not M) eqv E) or ((not L) imp M)) xor (E and L) 2)  E or ((((not D) eqv M) imp ((not E) xor D )) and M) 3)  E and ((H imp (((not M) …
Вариант 5

Вариант 5

1)  (((not X) or U) imp ((not N) xor X)) and (U eqv N) 2)  D and ((((not U) xor J) eqv ((not D) or U )) imp J) 3)  M eqv ((N imp (((not L) …
Вариант 6

Вариант 6

1)  (((not N) imp P) xor ((not F) and N)) or (P eqv F) 2)  K and ((((not R) xor O) imp ((not K) eqv R )) or O) 3)  K and ((E eqv (((not U) …
Вариант 7

Вариант 7

1)  (((not S) xor W) and ((not K) imp S)) eqv (W or K) 2)  W eqv ((((not R) xor O) and ((not W) or R )) imp O) 3)  O xor ((J eqv (((not M) …
Вариант 8

Вариант 8

1)  (((not V) or K) xor ((not O) eqv V)) and (K imp O) 2)  Y imp ((((not Q) or E) eqv ((not Y) xor Q )) and E) 3)  W xor ((T eqv (((not O) …
Вариант 9

Вариант 9

1)  (((not J) and S) imp ((not G) eqv J)) or (S xor G) 2)  Q or ((((not U) xor O) eqv ((not Q) and U )) imp O) 3)  H xor ((X or (((not D) a…
Вариант 10

Вариант 10

1)  (((not L) or H) imp ((not F) eqv L)) and (H xor F) 2)  V and ((((not W) xor N) or ((not V) imp W )) eqv N) 3)  D and ((S eqv (((not Q) …
Вариант 11

Вариант 11

1)  (((not S) imp R) eqv ((not Y) xor S)) and (R or Y) 2)  D xor ((((not T) or E) and ((not D) eqv T )) imp E) 3)  Q and ((J xor (((not F) …
Вариант 12

Вариант 12

1)  (((not Z) eqv L) and ((not Q) xor Z)) or (L imp Q) 2)  L imp ((((not O) xor T) or ((not L) and O )) eqv T) 3)  Y or ((H imp (((not V) a…
Вариант 13

Вариант 13

1)  (((not E) imp Y) and ((not O) xor E)) eqv (Y or O) 2)  R and ((((not Y) or P) xor ((not R) imp Y )) eqv P) 3)  G eqv ((D and (((not X) …
Вариант 14

Вариант 14

1)  (((not E) imp H) eqv ((not G) and E)) or (H xor G) 2)  V imp ((((not S) or U) and ((not V) eqv S )) xor U) 3)  D and ((V xor (((not Z) …
Вариант 15

Вариант 15

1)  (((not O) or D) imp ((not K) and O)) eqv (D xor K) 2)  V imp ((((not W) eqv N) or ((not V) xor W )) and N) 3)  J xor ((F or (((not K) e…
Вариант 16

Вариант 16

1)  (((not G) eqv H) and ((not D) or G)) imp (H xor D) 2)  N imp ((((not U) or F) xor ((not N) and U )) eqv F) 3)  F and ((U or (((not W) i…
Вариант 17

Вариант 17

1)  (((not U) xor O) imp ((not K) and U)) eqv (O or K) 2)  Y eqv ((((not Q) or G) and ((not Y) xor Q )) imp G) 3)  L and ((N imp (((not Z) …
Вариант 18

Вариант 18

1)  (((not Z) eqv W) or ((not Q) xor Z)) and (W imp Q) 2)  S imp ((((not X) xor W) or ((not S) eqv X )) and W) 3)  D xor ((P or (((not U) a…
Вариант 19

Вариант 19

1)  (((not O) xor N) or ((not P) imp O)) and (N eqv P) 2)  K and ((((not W) or M) xor ((not K) eqv W )) imp M) 3)  L imp ((R eqv (((not Z) …
Вариант 20

Вариант 20

1)  (((not L) eqv K) xor ((not M) imp L)) or (K and M) 2)  O imp ((((not Q) and T) xor ((not O) eqv Q )) or T) 3)  J eqv ((D and (((not Z) …
Вариант 21

Вариант 21

1)  (((not O) or L) and ((not P) eqv O)) xor (L imp P) 2)  W eqv ((((not U) and D) or ((not W) xor U )) imp D) 3)  P xor ((F and (((not E) …
Вариант 22

Вариант 22

1)  (((not P) xor L) eqv ((not O) or P)) imp (L and O) 2)  N xor ((((not Y) eqv S) or ((not N) imp Y )) and S) 3)  H eqv ((O xor (((not E) …
Вариант 23

Вариант 23

1)  (((not D) or Q) eqv ((not Z) imp D)) and (Q xor Z) 2)  M and ((((not Z) imp D) xor ((not M) eqv Z )) or D) 3)  K xor ((Q imp (((not X) …
Вариант 24

Вариант 24

1)  (((not E) and K) xor ((not Q) imp E)) eqv (K or Q) 2)  L imp ((((not X) and P) eqv ((not L) or X )) xor P) 3)  M and ((D xor (((not L) …
Вариант 25

Вариант 25

1)  (((not S) imp Z) xor ((not N) or S)) eqv (Z and N) 2)  Z or ((((not S) xor O) imp ((not Z) and S )) eqv O) 3)  W imp ((U eqv (((not T) …
Вариант 26

Вариант 26

1)  (((not E) eqv W) xor ((not X) and E)) or (W imp X) 2)  Z or ((((not L) imp U) xor ((not Z) eqv L )) and U) 3)  G or ((X eqv (((not P) a…
Вариант 27

Вариант 27

1)  (((not R) xor V) and ((not O) or R)) eqv (V imp O) 2)  Y and ((((not J) or L) imp ((not Y) xor J )) eqv L) 3)  G or ((Q and (((not W) x…
Вариант 28

Вариант 28

1)  (((not R) xor O) imp ((not P) and R)) or (O eqv P) 2)  T and ((((not G) imp S) or ((not T) eqv G )) xor S) 3)  L xor ((V and (((not X) …
Вариант 29

Вариант 29

1)  (((not U) and Q) eqv ((not E) or U)) xor (Q imp E) 2)  K and ((((not U) xor F) eqv ((not K) imp U )) or F) 3)  O imp ((K or (((not L) a…
Вариант 30

Вариант 30

1)  (((not D) xor M) imp ((not O) eqv D)) and (M or O) 2)  Z and ((((not S) eqv L) or ((not Z) xor S )) imp L) 3)  E imp ((P or (((not Q) a…
Вариант 31

Вариант 31

1)  (((not T) imp S) xor ((not M) or T)) and (S eqv M) 2)  N xor ((((not H) or G) and ((not N) imp H )) eqv G) 3)  L xor ((W eqv (((not G) …
Вариант 32

Вариант 32

1)  (((not J) imp S) and ((not P) or J)) xor (S eqv P) 2)  T xor ((((not F) eqv Y) imp ((not T) or F )) and Y) 3)  Q eqv ((G and (((not J) …
Вариант 33

Вариант 33

1)  (((not L) xor Z) imp ((not H) eqv L)) or (Z and H) 2)  F imp ((((not Z) and T) or ((not F) eqv Z )) xor T) 3)  T xor ((F imp (((not R) …
Вариант 34

Вариант 34

1)  (((not S) and K) xor ((not W) eqv S)) imp (K or W) 2)  H or ((((not K) eqv X) and ((not H) xor K )) imp X) 3)  S and ((Y or (((not L) x…
Вариант 35

Вариант 35

1)  (((not H) imp E) or ((not S) and H)) eqv (E xor S) 2)  Y eqv ((((not W) and K) or ((not Y) imp W )) xor K) 3)  F imp ((J or (((not Q) e…
Вариант 36

Вариант 36

1)  (((not O) imp V) eqv ((not E) or O)) and (V xor E) 2)  Q xor ((((not F) or V) eqv ((not Q) imp F )) and V) 3)  G eqv ((Y and (((not R) …
Вариант 37

Вариант 37

1)  (((not N) imp K) xor ((not J) eqv N)) and (K or J) 2)  K xor ((((not S) imp P) and ((not K) eqv S )) or P) 3)  T and ((U or (((not Q) i…
Вариант 38

Вариант 38

1)  (((not X) xor L) and ((not S) eqv X)) imp (L or S) 2)  R eqv ((((not Q) or T) imp ((not R) xor Q )) and T) 3)  T imp ((N and (((not H) …
Вариант 39

Вариант 39

1)  (((not K) or Z) xor ((not Y) and K)) imp (Z eqv Y) 2)  R or ((((not Q) eqv L) and ((not R) imp Q )) xor L) 3)  J or ((M xor (((not G) e…
Вариант 40

Вариант 40

1)  (((not T) or N) and ((not R) imp T)) eqv (N xor R) 2)  W imp ((((not V) or E) eqv ((not W) and V )) xor E) 3)  X xor ((N or (((not M) e…
Вариант 41

Вариант 41

1)  (((not M) xor P) and ((not X) eqv M)) or (P imp X) 2)  L and ((((not Z) imp P) xor ((not L) or Z )) eqv P) 3)  U imp ((Y xor (((not S) …
Вариант 42

Вариант 42

1)  (((not M) eqv N) and ((not S) imp M)) or (N xor S) 2)  N eqv ((((not D) imp M) and ((not N) or D )) xor M) 3)  W and ((L or (((not R) e…
Вариант 43

Вариант 43

1)  (((not D) eqv N) or ((not H) imp D)) and (N xor H) 2)  X xor ((((not P) and U) eqv ((not X) imp P )) or U) 3)  U xor ((S eqv (((not T) …
Вариант 44

Вариант 44

1)  (((not H) eqv O) or ((not M) and H)) xor (O imp M) 2)  F and ((((not S) eqv O) imp ((not F) xor S )) or O) 3)  M eqv ((K or (((not Z) a…
Вариант 45

Вариант 45

1)  (((not R) and E) xor ((not O) or R)) imp (E eqv O) 2)  T or ((((not Q) and O) xor ((not T) imp Q )) eqv O) 3)  D eqv ((O xor (((not K) …
Вариант 46

Вариант 46

1)  (((not S) xor L) eqv ((not Z) imp S)) and (L or Z) 2)  Q xor ((((not N) imp O) eqv ((not Q) and N )) or O) 3)  T or ((M eqv (((not J) x…
Вариант 47

Вариант 47

1)  (((not J) or D) and ((not M) eqv J)) imp (D xor M) 2)  D and ((((not S) or G) imp ((not D) eqv S )) xor G) 3)  K or ((X and (((not E) x…
Вариант 48

Вариант 48

1)  (((not L) imp T) or ((not D) and L)) xor (T eqv D) 2)  G xor ((((not U) eqv W) and ((not G) imp U )) or W) 3)  V or ((M imp (((not D) e…
Вариант 49

Вариант 49

1)  (((not S) or M) eqv ((not W) xor S)) imp (M and W) 2)  L or ((((not R) imp J) and ((not L) xor R )) eqv J) 3)  Q xor ((J eqv (((not T) …
Вариант 50

Вариант 50

1)  (((not M) or R) xor ((not F) imp M)) and (R eqv F) 2)  E or ((((not J) imp H) xor ((not E) and J )) eqv H) 3)  Y or ((T imp (((not R) a…
Вариант 51

Вариант 51

1)  (((not R) or W) imp ((not D) and R)) xor (W eqv D) 2)  J eqv ((((not H) xor E) and ((not J) imp H )) or E) 3)  J xor ((K or (((not H) i…
Вариант 52

Вариант 52

1)  (((not H) and X) or ((not D) xor H)) imp (X eqv D) 2)  F eqv ((((not K) imp X) or ((not F) and K )) xor X) 3)  O and ((P eqv (((not G) …
Вариант 53

Вариант 53

1)  (((not L) and M) eqv ((not H) or L)) imp (M xor H) 2)  R or ((((not H) and S) eqv ((not R) xor H )) imp S) 3)  Q imp ((F xor (((not H) …
Вариант 54

Вариант 54

1)  (((not E) xor D) or ((not R) eqv E)) and (D imp R) 2)  Y or ((((not E) and L) imp ((not Y) xor E )) eqv L) 3)  W eqv ((H or (((not O) x…
Вариант 55

Вариант 55

1)  (((not P) or U) xor ((not L) imp P)) eqv (U and L) 2)  K eqv ((((not H) or Y) xor ((not K) imp H )) and Y) 3)  U imp ((G and (((not E) …
Вариант 56

Вариант 56

1)  (((not L) imp K) eqv ((not P) and L)) xor (K or P) 2)  L and ((((not Q) imp T) or ((not L) xor Q )) eqv T) 3)  Y xor ((T imp (((not X) …
Вариант 57

Вариант 57

1)  (((not P) imp Q) xor ((not N) eqv P)) or (Q and N) 2)  N xor ((((not K) eqv H) and ((not N) or K )) imp H) 3)  L imp ((K and (((not Z) …
Вариант 58

Вариант 58

1)  (((not J) imp O) or ((not G) xor J)) and (O eqv G) 2)  P and ((((not T) imp W) eqv ((not P) or T )) xor W) 3)  D eqv ((H xor (((not G) …
Вариант 59

Вариант 59

1)  (((not T) or Y) imp ((not S) eqv T)) xor (Y and S) 2)  Y or ((((not T) imp J) eqv ((not Y) xor T )) and J) 3)  S eqv ((P or (((not N) a…
Вариант 60

Вариант 60

1)  (((not J) eqv E) xor ((not V) and J)) imp (E or V) 2)  H xor ((((not W) and Z) imp ((not H) eqv W )) or Z) 3)  D or ((M eqv (((not H) a…
Вариант 61

Вариант 61

1)  (((not O) xor R) and ((not T) or O)) imp (R eqv T) 2)  J eqv ((((not V) imp N) or ((not J) xor V )) and N) 3)  V imp ((K eqv (((not U) …
Вариант 62

Вариант 62

1)  (((not G) and H) imp ((not X) or G)) xor (H eqv X) 2)  Z and ((((not S) xor V) or ((not Z) eqv S )) imp V) 3)  N and ((D imp (((not F) …
Вариант 63

Вариант 63

1)  (((not Z) xor M) eqv ((not P) or Z)) and (M imp P) 2)  Y and ((((not Z) eqv M) xor ((not Y) or Z )) imp M) 3)  M xor ((E and (((not X) …
Вариант 64

Вариант 64

1)  (((not E) xor N) or ((not R) and E)) imp (N eqv R) 2)  Q eqv ((((not P) xor N) imp ((not Q) or P )) and N) 3)  G or ((U eqv (((not E) i…
Вариант 65

Вариант 65

1)  (((not N) imp V) or ((not T) xor N)) eqv (V and T) 2)  P eqv ((((not K) and X) imp ((not P) or K )) xor X) 3)  E imp ((N or (((not Z) x…
Вариант 66

Вариант 66

1)  (((not G) xor E) eqv ((not P) imp G)) or (E and P) 2)  E eqv ((((not R) and Z) imp ((not E) xor R )) or Z) 3)  U or ((W xor (((not O) a…
Вариант 67

Вариант 67

1)  (((not M) eqv F) imp ((not W) xor M)) or (F and W) 2)  Y eqv ((((not R) xor O) or ((not Y) and R )) imp O) 3)  P and ((N xor (((not R) …
Вариант 68

Вариант 68

1)  (((not Y) or J) and ((not K) xor Y)) imp (J eqv K) 2)  F or ((((not R) imp U) and ((not F) eqv R )) xor U) 3)  Y and ((T imp (((not M) …
Вариант 69

Вариант 69

1)  (((not P) or O) and ((not K) imp P)) xor (O eqv K) 2)  X imp ((((not Q) xor G) and ((not X) or Q )) eqv G) 3)  N or ((U and (((not V) i…
Вариант 70

Вариант 70

1)  (((not P) imp W) eqv ((not E) xor P)) or (W and E) 2)  Y imp ((((not W) xor U) and ((not Y) eqv W )) or U) 3)  S eqv ((Z xor (((not K) …
Вариант 71

Вариант 71

1)  (((not L) eqv U) and ((not R) xor L)) imp (U or R) 2)  E and ((((not O) imp L) eqv ((not E) xor O )) or L) 3)  N eqv ((O imp (((not F) …
Вариант 72

Вариант 72

1)  (((not N) or O) eqv ((not J) and N)) imp (O xor J) 2)  V xor ((((not O) and E) or ((not V) imp O )) eqv E) 3)  Y or ((X and (((not E) e…
Вариант 73

Вариант 73

1)  (((not W) and X) imp ((not R) eqv W)) xor (X or R) 2)  N eqv ((((not P) imp J) xor ((not N) and P )) or J) 3)  V and ((G eqv (((not H) …
Вариант 74

Вариант 74

1)  (((not J) imp Q) and ((not Y) or J)) eqv (Q xor Y) 2)  Z xor ((((not P) or F) imp ((not Z) and P )) eqv F) 3)  Y eqv ((J or (((not L) i…
Вариант 75

Вариант 75

1)  (((not Q) imp X) xor ((not T) and Q)) eqv (X or T) 2)  P or ((((not M) xor V) eqv ((not P) imp M )) and V) 3)  F or ((W xor (((not G) i…
Вариант 76

Вариант 76

1)  (((not M) imp O) and ((not Z) eqv M)) or (O xor Z) 2)  M xor ((((not K) imp J) or ((not M) and K )) eqv J) 3)  U and ((N eqv (((not D) …
Вариант 77

Вариант 77

1)  (((not V) or L) xor ((not S) and V)) eqv (L imp S) 2)  P imp ((((not Q) or W) xor ((not P) eqv Q )) and W) 3)  T xor ((Z imp (((not X) …
Вариант 78

Вариант 78

1)  (((not O) eqv E) imp ((not U) or O)) and (E xor U) 2)  T imp ((((not R) eqv E) xor ((not T) or R )) and E) 3)  W xor ((N imp (((not X) …
Вариант 79

Вариант 79

1)  (((not R) xor S) or ((not T) imp R)) eqv (S and T) 2)  O and ((((not P) eqv H) xor ((not O) imp P )) or H) 3)  F or ((V imp (((not Q) e…
Вариант 80

Вариант 80

1)  (((not Q) eqv K) imp ((not S) xor Q)) and (K or S) 2)  U eqv ((((not E) or R) and ((not U) imp E )) xor R) 3)  E imp ((F xor (((not J) …
Вариант 81

Вариант 81

1)  (((not K) and D) eqv ((not E) imp K)) xor (D or E) 2)  X xor ((((not R) imp G) and ((not X) or R )) eqv G) 3)  Q eqv ((Z or (((not L) i…
Вариант 82

Вариант 82

1)  (((not P) eqv M) xor ((not H) imp P)) and (M or H) 2)  Z or ((((not O) and K) xor ((not Z) eqv O )) imp K) 3)  T or ((W eqv (((not Y) x…
Вариант 83

Вариант 83

1)  (((not N) or H) and ((not O) xor N)) eqv (H imp O) 2)  N or ((((not V) eqv X) imp ((not N) and V )) xor X) 3)  E imp ((N eqv (((not U) …
Вариант 84

Вариант 84

1)  (((not P) eqv X) xor ((not H) or P)) and (X imp H) 2)  T xor ((((not N) eqv J) or ((not T) and N )) imp J) 3)  W eqv ((H imp (((not U) …
Вариант 85

Вариант 85

1)  (((not U) xor T) or ((not X) and U)) eqv (T imp X) 2)  M xor ((((not G) eqv V) imp ((not M) and G )) or V) 3)  W and ((Z imp (((not D) …
Вариант 86

Вариант 86

1)  (((not Q) or R) eqv ((not T) and Q)) xor (R imp T) 2)  T or ((((not R) xor W) and ((not T) eqv R )) imp W) 3)  H eqv ((S or (((not V) x…
Вариант 87

Вариант 87

1)  (((not P) eqv R) and ((not J) imp P)) xor (R or J) 2)  F xor ((((not G) and T) eqv ((not F) or G )) imp T) 3)  G imp ((R xor (((not U) …
Вариант 88

Вариант 88

1)  (((not W) and H) eqv ((not S) xor W)) or (H imp S) 2)  W and ((((not D) or P) eqv ((not W) imp D )) xor P) 3)  J imp ((O or (((not T) e…
Вариант 89

Вариант 89

1)  (((not R) and J) xor ((not M) imp R)) or (J eqv M) 2)  P imp ((((not D) xor F) eqv ((not P) and D )) or F) 3)  E and ((R xor (((not W) …
Вариант 90

Вариант 90

1)  (((not Y) and K) eqv ((not T) imp Y)) or (K xor T) 2)  V and ((((not S) or W) eqv ((not V) xor S )) imp W) 3)  L eqv ((O imp (((not Z) …