Форум сайта python.su
0
Доказать (путем перебора возможных значений), что для любых величин А, B, С типа
Boolean следующие пары логических выражений имеют одинаковые значения
(эквивалентны):
1) A OR B и B OR A;
2) A AND и B AND ;
3) (A OR В) OR С и A OR С;
4) (A AND В) AND С и A AND (В AND С);
5) A AND (A OR В) и А;
6) A OR (A AND В) и А;
7) A AND (В OR С) и (A AND В) OR (A AND С);
8) A OR (В AND С) и (A OR В) AND (A OR С).
Офлайн
253
От вас хотят чтобы вы подставили все возможные комбинации A,C,B в выражения и убедились что они дают одинаковый результат.
Офлайн
857
RasMasMast
1) A OR B и B OR A;
>>> def f(): ... tup = ( ... (False, False), ... (False, True), ... (True, False), ... (True, True) ... ) ... for a, b in tup: ... if not (a or b == b or a): ... return False ... return True ... >>> f() True >>>
RasMasMast
3) (A OR В) OR С и A OR С;
>>> def f(): ... tup = ( ... (False, False, False), ... (False, False, True), ... (False, True, False), ... (False, True, True), ... (True, False, False), ... (True, False, True), ... (True, True, False), ... (True, True, True) ... ) ... for a, b, c in tup: ... if not ((a or b) or c == a or c): ... return False ... return True ... >>> f() True >>>
Офлайн