Ce défi consiste à élever les esprits de notre mod Alex A. , qui a généralement tort .
Supposons que vous avez un ami nommé Alex qui a besoin d'aide pour la logique de base et les mathématiques, en particulier l'équivalent mathématique .
Il vous donne une liste d'équations de la forme [variable] = [variable]
où a [variable]
est toujours une simple lettre majuscule de A à Z (pas une lettre minuscule, ni un chiffre, ni rien d'autre). Il y a une équation par ligne dans la liste, à l'exception d'une seule ligne qui dit seulement therefore
.
Toutes les équations ci-dessus therefore
sont des prémisses , des faits supposés vrais. Toutes les équations ci-dessous therefore
sont des propositions non vérifiées, des faits qu'Alex tente de déduire des prémisses, et elles peuvent être vraies ou non.
Par exemple, dans cette liste d’équations, la proposition de conclusion unique A = C
est vraie:
A = B
B = C
therefore
A = C
C'est à vous de dire à Alex si toutes ses propositions découlent logiquement des prémisses données. Autrement dit, vous devez dire à Alex s’il a tort ou tort dans ses conclusions.
Écrivez un programme / une fonction qui prend une chaîne d'une liste d'équations telle que décrite et qui est imprimée / retournée
Alex is right
si toutes les conclusions découlent logiquement des locaux, et sinon sorties
Alex is wrong
si aucune conclusion ne découle logiquement des locaux.
Le code le plus court en octets gagne.
Assurez-vous de faire attention à ces cas:
La variable est toujours égale à elle-même. par exemple
B = A therefore A = A X = X
résultats en
Alex is right
.Les variables avec des relations inconnues ne peuvent pas être supposées égales. par exemple
P = Q therefore E = R
résultats en
Alex is wrong
.Quand il n'y a pas d'équations après le,
therefore
alors les conclusions sont vaines . par exempleD = C therefore
et
therefore
les deux résultent en
Alex is right
.Quand il n'y a pas d'équations avant le
therefore
seul alors égalité de soi peut être déduite. par exempletherefore R = R
résultats en
Alex is right
, maistherefore R = W
résultats en
Alex is wrong
.
Plus d'exemples
Alex a tort: (séparés par des lignes vides)
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
Alex a raison:
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 = R
therefore\nTABS < SPACES
->Alex is right
Alex is wrong
Vérifie tous les cas de test.