BOOL30. Ададҳои a, b, c, ки тарафҳои секунҷае мебошанд, дода шудаанд. Дурустии тасдиқоти зерин санҷида шавад: "Секунҷа бо тарафҳои a, b, c баробартараф аст".

Ҳал дар Python 3:

import random

def TriangleInequality(A,B,C):
    return (A < B+C) and (B < A+C) and (C < A+B)

a,b,c = [random.randrange(1, 6) for i in range(0,3)]
while not TriangleInequality(a,b,c):
    a,b,c = [random.randrange(1, 6) for i in range(0,3)]

print("Тарафи a: ", a)
print("Тарафи b: ", b)
print("Тарафи c: ", c)

bool_expr = (a == b and a == c)
print("Секунҷа баробартараф аст: ",bool_expr)