Булевские переменные 2.
Теоремы двойственности (правила Моргана).
Это логическое тождество означает, что логическое выражение
not (F and G)
и логическое выражение
(not F) or (not G)
будут давать одинаковый результат, в случае, если переменные
F и G будут иметь одинаковые логические значения. Посмотрите внимательно на эти выражения. Операция and в первом выражении, заменена на операцию or во втором.Это тождество может быть полезно при написании больших и сложных выражений.
|
not (F and G) |
