Boolean

[korzunmaria]

Доказать (путем перебора возможных значений),что для любых величин A, B, C типа Boolean следующие пары логических выражений имеют одинаковые значения (эквивалентны):
A OR (B AND C) и (A OR B) AND (A OR C)
Я смотрела в интернете и ничего понятного не нашла, помогите решить задачу, объясните мне
ЗАРАНЕЕ БЛАГОДАРНА

[Vago]

#!/usr/bin/python
# -*- coding: cp1251 -*-

print '  A   B   C    A OR (B AND C)   (A OR B) AND (A OR C)'

for j in range( 0, 8 ):
    c = ( j % 2 == 1 )
    b = ( j / 2 % 2 == 1 )
    a = ( j / 4 % 2 == 1 )

    print "%3d %3d %3d %10d %19d" % (a, b, c, a or ( b and c ), ( a or b ) and ( a or c ) )

#

Оператор цикла, деление и остаток от деления, логические операторы и "красивый" вывод - в зависимости от Вашего языка.