Comments | nikon_nlg: Логические выражения

nikon_nlg

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

Jan 27, 2011 23:25

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

Comments 18

tomash January 27 2011, 21:14:10 UTC

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

tomash January 27 2011, 21:21:17 UTC

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

tomash January 27 2011, 21:23:14 UTC

Но раз 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 January 27 2011, 22:49:57 UTC

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

Thread 7

romik_g January 27 2011, 21:25:00 UTC

меня смущает (B or not C) - это как?

nikon_nlg January 28 2011, 05:27:31 UTC

ну в смысле или B=true, или C=false

romik_g January 28 2011, 05:52:51 UTC

*/me задумался*
а не (B or (not C))?

nikon_nlg January 28 2011, 06:42:27 UTC

Ну вобщем-то да. Просто not C что-то в скобки не вынес

isk January 27 2011, 23:49:46 UTC

http://ru.wikipedia.org/wiki/Алгебра_логики
!( ((AB)+(A!C)) + !(AB))
Дистрибутивность дизъюнкции
!(ABA+AB!C+!(AB))
Коммутативность
!(AAB+AB!C+!(AB))
Коммутативнность
!(AB+!(AB)+AB!C)
9я аксиома
!(true+AB!C)
3я аксиома
!(true)
false

isk January 27 2011, 23:51:02 UTC

успел, ок

nikon_nlg January 28 2011, 05:29:15 UTC

Ну ты монстр. Спасибо )

romik_g January 28 2011, 05:54:00 UTC

жесть
х_Х

Thread 7