Members in Shoutbox
None.

Shoutbox Search
Search for:


Shoutbox Commands
/w [name] > Whisper
/r > Reply to last whisper
/me > Marks as action

Shoutbox Information
Moderators may delete any and all shouts at will.
Global Shoutbox
Please log in to shout.
Pages: < 1 « 3343 3344 3345 3346 33473539 >

[2014-9-23. : 3:44 am]
Jack -- not used to this method of writing symbols
[2014-9-23. : 3:43 am]
Jack -- (p v q) ^ (~p v q v r) wait those are ors
[2014-9-23. : 3:43 am]
O)FaRTy1billion[MM] -- a xor a is always 0, a xor !a is always 1
[2014-9-23. : 3:43 am]
O)FaRTy1billion[MM] -- yes, it is
[2014-9-23. : 3:43 am]
Zoan -- I think so
[2014-9-23. : 3:43 am]
Jack -- A XOR !A is always true isn't it
[2014-9-23. : 3:43 am]
O)FaRTy1billion[MM] -- I want an expression that defines {a,b,c,d} = r
[2014-9-23. : 3:43 am]
Jack -- wait no
[2014-9-23. : 3:43 am]
Jack -- oh sorry my bad
[2014-9-23. : 3:42 am]
Zoan -- you mean p v ~p lol
[2014-9-23. : 3:42 am]
Jack -- and you end up with just r!
[2014-9-23. : 3:42 am]
Jack -- p ^ ~p will always be true so you get rid of that
[2014-9-23. : 3:42 am]
Zoan -- wheres the r column coming from lol
[2014-9-23. : 3:42 am]
O)FaRTy1billion[MM] -- r is what I want
[2014-9-23. : 3:42 am]
O)FaRTy1billion[MM] -- Because that's what the 'r' column says. :P
[2014-9-23. : 3:42 am]
MasterJohnny -- cs is toooo nerdy
[2014-9-23. : 3:42 am]
Zoan -- why should it be 0?
[2014-9-23. : 3:42 am]
Jack -- q ^ q is so sirry, so very sirry, so we get rid of that :wtfawesome:
[2014-9-23. : 3:41 am]
O)FaRTy1billion[MM] -- I did them manually... a0 b1 c1 d0 | 0 , (C xor (B and D)) xor A == (1 xor (1 and 0)) xor 0 == (1 xor (0)) xor 0 == (1) xor 0 == 1, but it should be 0 ;o
[2014-9-23. : 3:41 am]
Jack -- Now you have to factor in the xor, so you have (p v q) ^ (~p v q v r)
[2014-9-23. : 3:41 am]
Jack -- so you now have just (p v q)
[2014-9-23. : 3:41 am]
Jack -- now you have (p v q) & (p v q) which is the same as A&A which is the same as just A
[2014-9-23. : 3:40 am]
Jack -- so just get rid of B (aka your original R) because it never affects the result
[2014-9-23. : 3:40 am]
Jack -- see, if A or B has to be true at the same time as A or notB for the expression to be true, then let's say A is 0 and B is 1. The expression will never be B, because it will be like (0 v 1) & (0 v 0), which is not going to work.
[2014-9-23. : 3:40 am]
jjf28 -- http://youtu.be/Unau2Efldqk
[2014-9-23. : 3:40 am]
Zoan -- wherea re you getting the results from?
[2014-9-23. : 3:39 am]
Zoan -- well the long expression not the end there is displaying the correct 1's and 0's
[2014-9-23. : 3:39 am]
O)FaRTy1billion[MM] -- b != r .. ? ;o
[2014-9-23. : 3:38 am]
O)FaRTy1billion[MM] -- dug out my old laptop ... I'd install the program on this computer, but it is one of those softwares that, upon installtion, assumes that is now the sole purpose of that machine and loads so much stuff at startup ;o
[2014-9-23. : 3:38 am]
Jack -- B = your original R
[2014-9-23. : 3:37 am]
Jack -- Or rather, it's silly!
[2014-9-23. : 3:37 am]
Jack -- @Dem0n but then you can see that B breaks everything
[2014-9-23. : 3:37 am]
O)FaRTy1billion[MM] -- it's the expected result I'm trying to find
[2014-9-23. : 3:37 am]
O)FaRTy1billion[MM] -- Oh, I just called it that for 'result'
[2014-9-23. : 3:36 am]
Zoan -- FaRTy1billion
FaRTy1billion shouted: http://i.snag.gy/4G3RN.jpg
in this
[2014-9-23. : 3:36 am]
Zoan -- whats that r there?
[2014-9-23. : 3:36 am]
MasterJohnny -- and Xor or?
[2014-9-23. : 3:36 am]
Jack -- Dem0n first look at (p v q v r) & (p v q v ~r), you can think of this as being (A v B) & (A v ~B)
[2014-9-23. : 3:36 am]
MasterJohnny -- I have never had to do a proof with XOR its always and or or
[2014-9-23. : 3:35 am]
Zoan -- So I think xor's have the same amount of precedence as or
[2014-9-23. : 3:35 am]
jjf28 -- they already do*
[2014-9-23. : 3:35 am]
jjf28 -- the already do if/else, recursive definitions, and function definitions, but it's like they resist all the cool conditionals/branching
[2014-9-23. : 3:35 am]
O)FaRTy1billion[MM] -- http://i.snag.gy/4G3RN.jpg
[2014-9-23. : 3:35 am]
Zoan -- well xor is defined as: A xor B iff (A*~B)+(~A*B)
[2014-9-23. : 3:35 am]
O)FaRTy1billion[MM] -- I should just dig out my old laptop which still has the circuit software for defining logic expressions/circuits out of truth tables .. I can't seem to find such utility by googling for it
[2014-9-23. : 3:35 am]
copboner -- i don't play counterstrike sry
[2014-9-23. : 3:34 am]
jjf28 -- math should have cs components nowadays...
[2014-9-23. : 3:33 am]
jjf28 -- copboner
copboner shouted: math is 4 dum nerdz lmao
Kill him! Kill the traitor!
[2014-9-23. : 3:33 am]
MasterJohnny -- its more like cs stuff than math...i wish i could use XOR in math...
[2014-9-23. : 3:32 am]
Zoan -- lol copboner
[2014-9-23. : 3:32 am]
O)FaRTy1billion[MM] -- because if I do "(C xor (B and D)) xor A", I get too many 1s in my truth table.
[2014-9-23. : 3:32 am]
Zoan -- bleh, I mean AND is first, and Or and XOR are second :/
[2014-9-23. : 3:31 am]
Zoan -- Maybe and is first, or and xor is third
[2014-9-23. : 3:31 am]
copboner -- math is 4 dum nerdz lmao
[2014-9-23. : 3:31 am]
O)FaRTy1billion[MM] -- AND is *, OR is + ... XOR is ...
[2014-9-23. : 3:31 am]
Zoan -- but usually people just put things in parenthesis, I dunno why they wouldn't
[2014-9-23. : 3:30 am]
jjf28 -- AND before OR, that's the only order i know
[2014-9-23. : 3:30 am]
Zoan -- i think i think :lol:
[2014-9-23. : 3:30 am]
Zoan -- Actually, I think in logic I think the only order is determined by parenthesis
[2014-9-23. : 3:30 am]
jjf28 -- there are algebraic ways of doing it, usually you complicate something with not-nots till de-morgans starts working
[2014-9-23. : 3:29 am]
Zoan -- so I guess yeah the x (and) is done before the xor
[2014-9-23. : 3:29 am]
O)FaRTy1billion[MM] -- I'm starting with a truth table :P
[2014-9-23. : 3:29 am]
jjf28 -- that's the kind of insane expression that i'd just truth table and reverse engineer
[2014-9-23. : 3:29 am]
O)FaRTy1billion[MM] -- 'BD' is "B and D"
[2014-9-23. : 3:29 am]
Zoan -- The B and the D are stuck together I thought
[2014-9-23. : 3:28 am]
Zoan -- wait
[2014-9-23. : 3:28 am]
O)FaRTy1billion[MM] -- is it (C xor B) and (D xor A), ((C xor B) and D) xor A, (C xor (B and D)) xor A ?
[2014-9-23. : 3:28 am]
Zoan -- well, I think 'xor' is reflexive
[2014-9-23. : 3:28 am]
O)FaRTy1billion[MM] -- for C xor BD xor A
[2014-9-23. : 3:28 am]
Zoan -- Huh

Pages: < 1 « 3343 3344 3345 3346 33473539 >


Members Online: Ultraviolet, Roy, RIVE