Эта задача - поднять настроение нашему моду Алексу А. , который обычно ошибается .
Предположим, у вас есть друг по имени Алекс, которому нужна помощь по базовой логике и математике, в частности, по математической эквивалентности .
Он дает вам список уравнений вида, [variable] = [variable]где a [variable]- это всегда одна заглавная буква от A до Z (ни строчная буква, ни число, ни что-либо еще). В списке есть одно уравнение на строку, за исключением одной строки, которая говорит только therefore.
Все уравнения выше thereforeявляются предпосылками , фактами, которые считаются правдой. Все уравнения ниже thereforeявляются непроверенными утверждениями, фактами, которые Алекс пытается вывести из помещения, и они могут быть или не быть правдой.
Например, в этом списке уравнений единственное заключительное утверждение A = Cоказывается верным:
A = B
B = C
therefore
A = C
Это ваша работа, чтобы сказать Алексу, если все его предложения логически вытекают из данной посылки. То есть вам нужно сказать Алексу, ошибся он или нет в своих выводах.
Напишите программу / функцию, которая принимает строку списка уравнений, как описано, и печатает / возвращает
Alex is right
если все выводы логически вытекают из помещения, а в противном случае выводятся
Alex is wrong
если какой-либо вывод логически не вытекает из помещения.
Самый короткий код в байтах побеждает.
Обязательно следите за этими случаями:
Переменная всегда равна себе. например
B = A therefore A = A X = Xрезультаты в
Alex is right.Переменные с неизвестными отношениями нельзя считать равными. например
P = Q therefore E = Rрезультаты в
Alex is wrong.Когда после этого нет уравнений,
thereforeто выводы оказываются бессмысленными . напримерD = C thereforeа также
thereforeоба результата в
Alex is right.Когда нет уравнений до этого,
thereforeто можно сделать вывод только о равенстве. напримерtherefore R = Rрезультаты
Alex is right, ноtherefore R = Wрезультаты в
Alex is wrong.
Больше примеров
Алекс не в том случае: (разделены пустыми строками)
A = B
C = D
therefore
A = C
A = L
E = X
A = I
S = W
R = O
N = G
therefore
G = N
L = I
R = O
S = A
X = X
X = E
D = K
D = Q
L = P
O = L
M = O
therefore
K = L
A = B
therefore
B = C
Z = A
S = S
therefore
A = Z
A = A
S = A
A = S
Z = A
Z = A
K = L
K = X
therefore
X = P
L = X
L = P
therefore
A = B
B = C
A = C
therefore
A = A
B = B
C = C
D = D
E = E
F = F
G = G
H = H
I = I
J = J
K = K
T = I
L = L
M = M
N = N
O = O
P = P
Q = Q
R = R
S = S
T = T
U = U
V = V
W = W
X = X
Y = Y
Z = Z
A = B
B = C
C = D
D = E
E = F
F = G
G = H
H = I
I = J
J = K
K = L
L = M
M = N
N = O
O = P
P = O
Q = R
R = S
S = T
T = U
U = V
V = W
W = X
X = Y
Y = Z
therefore
A = Z
therefore
C = D
T = Y
A = Z
P = Q
therefore
E = R
therefore
R = WАлекс прав:
H = J
therefore
J = H
K = L
K = X
therefore
L = X
C = B
B = A
therefore
A = B
K = L
K = X
K = P
therefore
L = X
L = P
X = P
A = Y
Y = Q
Q = O
therefore
O = Y
O = A
C = C
therefore
C = C
A = B
B = A
therefore
A = B
B = A
A = B
B = C
C = D
therefore
A = A
A = B
A = C
A = D
B = A
B = B
B = C
B = D
C = A
C = B
C = C
C = D
D = A
D = B
D = C
D = D
therefore
A = A
B = B
C = C
D = D
E = E
F = F
G = G
H = H
I = I
J = J
K = K
L = L
M = M
N = N
O = O
P = P
Q = Q
R = R
S = S
T = T
U = U
V = V
W = W
X = X
Y = Y
Z = Z
D = I
F = H
J = M
therefore
M = J
D = I
H = F
A = B
B = C
C = D
D = E
E = F
F = G
G = H
H = I
I = J
J = K
K = L
L = M
M = N
N = O
O = P
P = Q
Q = R
R = S
S = T
T = U
U = V
V = W
W = X
X = Y
Y = Z
therefore
Z = A
F = R
G = I
W = L
A = B
B = C
therefore
A = C
B = A
therefore
A = A
X = X
P = P
C = G
M = C
therefore
D = C
therefore
therefore
therefore
R = Rtherefore\nTABS < SPACES->Alex is right
Alex is wrongПроверяет все тесты.