Логические выражения

[nikon_nlg]

Люблю я своих родственников, но не когда они просят решить информатику

Comments

[tomash]

Это выражение всегда FALSE =)
http://www.wolframalpha.com/input/?i=not(A%26(B+or+not+C)+or+not(A+%26+B))&incParTime=true

[tomash]

Хотя, это больше смахивает не на siplify, а на optimize =)

[tomash]

Но раз Methematica говорит FALSE на вопрос "упростить", значит так и есть.
http://www.wolframalpha.com/input/?i=simplify+not%28A%26%28B+or+not+C%29+or+not%28A+%26+B%29%29

[unpluggetinny]

то есть по факту выражение всегда ложно

[nikon_nlg]

Блин, во-первых, я забыл про wolframalpha, а во-вторых, я чо-то не думал что можно сразу до false сократить )
Спасибо

[tomash]

Упрощение по таблицам читерство, подобные задачки должны четко выводиться, что и показано ниже.
И ваще, я уже позабыл синтаксис Математики за 15 лет непользования - она ж умеет пошагово показывать процесс упрощения.

[nikon_nlg]

У меня есть смягчающий фактор - мы Гарвардов не кончали, да и не-Гарвардов тоже ) поэтому про Алгебру логики я помню только из школьного курса, да по битовым операциям в C