Законы Моргана

[fs444]

У Дейтлов есть задачка

Не пойму, как !(условие1 && условие2) может быть эквивалентно (!условие1 || !условие2)? Первое сбудется, если и условие1, и условие2 не заданы. А второе, если не задано либо усл.1, либо усл.2. И со вторым та же история.

[Granus]

ну например.
"неправда, что идет снег и я голоден" - значит, либо я не голоден, либо не идет снег, либо и то и другое.
со вторым аналогично

[nazavrik]

Сообщение от fs444

Не пойму, как !(условие1 && условие2) может быть эквивалентно (!условие1 || !условие2)?

Ну это как бы азы логики. Первое:

[ROD]

Это все вытекает из одинаковости таблиц истинности.

К стати, законы Де Моргана

[ZigaZaga]

Сообщение от fs444

Первое сбудется, если и условие1, и условие2 не заданы.

вот это не сильно правда.
первое сбудеться если 1 и 2, или 1 но не 2, или 2 но не 1.

[fs444]

С помощью ваших подсказок решил приведенные Дейтлами уравнения так:

!(условие1 && условие2) == (!условие1 || !условие2)
!(условие1 || условие2) == (!условие1 && !условие2)

а) !(x < 5) && !(y >= 7) == !((x < 5) || (y >= 7))
б) !(a == b) || !(g != 5) == !((a == b) && (g != 5))
в) !((x <= 8) && (y > 4)) == (!(x <= 8) || !(y > 4))
г) !((i > 4) || (j <= 6)) == (!(i > 4) && !((j <= 6)))

Далее написано, что надо написать программу, которая показала бы эквивалентность первоначальных и новых выражений. Это, я так понимаю, надо ввести в нее значения х, у и других букв, а потом вывести что то вроде

При х = 3 и у = 5 (x < 5) = true, (y >= 7) = false.
!(x < 5) && !(y >= 7) = !true && !false = false && true = false
!((x < 5) || (y >= 7)) = !(true || false) = !true = false

Да?