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 « 3372 3373 3374 3375 33763570 >

[2014-9-23. : 4:05 am]
O)FaRTy1billion[MM] -- I don't know about you guys, but I solved my problem. :P
[2014-9-23. : 4:05 am]
Jack -- no I guess we can't get rid of P because that last statement would mean we just have q or r I think
[2014-9-23. : 4:04 am]
Jack -- Assuming we can, we now have q AND (q OR r)
[2014-9-23. : 4:04 am]
Zoan -- every other instance those two things will be true
[2014-9-23. : 4:04 am]
Zoan -- for the second two things ( (q v p v ~r) ^ (q v ~p v r) ) to be false, we need (~q ^ ~p ^ r) v (~q ^ p ^ ~r)
[2014-9-23. : 4:03 am]
Jack -- now my gut instinct says that p is now irrelephant but I forgot which rule lets us get rid of it
[2014-9-23. : 4:03 am]
Jack -- now my gut instinct says that p is now irrelephant but I forgot which rule lets us get rid of it
[2014-9-23. : 4:01 am]
O)FaRTy1billion[MM] -- !a returns only 0 or 1 :P
[2014-9-23. : 4:00 am]
O)FaRTy1billion[MM] -- I don't think there is a logical ^
[2014-9-23. : 4:00 am]
Jack -- Now we have (p OR q) AND (!p OR q OR r)
[2014-9-23. : 4:00 am]
O)FaRTy1billion[MM] -- &, |, ^, ~ vs. && || (nothing) !
[2014-9-23. : 4:00 am]
jjf28 -- crud
[2014-9-23. : 4:00 am]
O)FaRTy1billion[MM] -- ! is logic not, ~ is bitwise not
[2014-9-23. : 4:00 am]
jjf28 -- orite, ! NOT
[2014-9-23. : 3:59 am]
Jack -- because (A OR B) AND (A OR !B) = A
[2014-9-23. : 3:59 am]
O)FaRTy1billion[MM] -- yes
[2014-9-23. : 3:59 am]
jjf28 -- c/c++: & AND, | OR, ^ xOR iirc
[2014-9-23. : 3:59 am]
Zoan -- lol q v (r ^ p)
[2014-9-23. : 3:59 am]
Jack -- OK step one, (p + q + r) . (p + q + !r) = (p + q)
[2014-9-23. : 3:59 am]
O)FaRTy1billion[MM] -- I got the symbols from there :P
[2014-9-23. : 3:58 am]
Dem0n -- But yeah, the technical way to say 'and' (at least in my system) is ^
[2014-9-23. : 3:58 am]
Jack -- I will rek you m8, 1/8
[2014-9-23. : 3:58 am]
Dem0n -- figured that would make more sense than ^
[2014-9-23. : 3:58 am]
Dem0n -- I meant to use & both times
[2014-9-23. : 3:58 am]
Dem0n -- sorry didn't mean to mix them up
[2014-9-23. : 3:58 am]
Zoan -- what does & =?
[2014-9-23. : 3:58 am]
Dem0n -- v = or, ^ = and
[2014-9-23. : 3:58 am]
O)FaRTy1billion[MM] -- (p∧r)∨q
[2014-9-23. : 3:58 am]
O)FaRTy1billion[MM] -- demon what have you done
[2014-9-23. : 3:57 am]
O)FaRTy1billion[MM] -- er, no. god damnit. xD
[2014-9-23. : 3:57 am]
O)FaRTy1billion[MM] -- And plugging it in to this program on my old laptop, it says the answer is (p∧q)∨r
[2014-9-23. : 3:57 am]
Jack -- if those are both ANDs inbetween the brackets then that's ezpz
[2014-9-23. : 3:56 am]
O)FaRTy1billion[MM] -- (p ∨ q) ∧ (¬p ∨ q ∨ r)
[2014-9-23. : 3:56 am]
O)FaRTy1billion[MM] -- ∧ is and, ∨ is or, ¬ is not
[2014-9-23. : 3:56 am]
Zoan -- :O lulz
[2014-9-23. : 3:55 am]
Jack -- demon gave it, said he had a quiz on it
[2014-9-23. : 3:55 am]
Zoan -- Where did this problem come from?
[2014-9-23. : 3:55 am]
Jack -- demon bruv, help us out here
[2014-9-23. : 3:55 am]
Jack -- O_O
[2014-9-23. : 3:55 am]
O)FaRTy1billion[MM] -- those aren't the actual symbols .. let's see if I can find the actual ones
[2014-9-23. : 3:55 am]
Zoan -- I think that's also and lol
[2014-9-23. : 3:55 am]
Jack -- what's & then
[2014-9-23. : 3:55 am]
Jack -- IDK that system of symbols, I'm used to + and . and !
[2014-9-23. : 3:55 am]
O)FaRTy1billion[MM] -- based on parentheses, v is or, ^ is and
[2014-9-23. : 3:55 am]
Zoan -- too*
[2014-9-23. : 3:55 am]
Zoan -- I think ^ is and to
[2014-9-23. : 3:54 am]
Jack -- oh wait maybe ^ = AND, and I've done it completely wrong?
[2014-9-23. : 3:54 am]
Jack -- & presumably = AND
[2014-9-23. : 3:54 am]
O)FaRTy1billion[MM] -- This says p ^ q v r :P
[2014-9-23. : 3:54 am]
Zoan -- is there a difference between the & and the ^?
[2014-9-23. : 3:54 am]
Jack -- I wrote down the rules in my notebook but that's at home
[2014-9-23. : 3:53 am]
Zoan -- bleh
[2014-9-23. : 3:53 am]
Zoan -- wait no I'm wrong
[2014-9-23. : 3:53 am]
Jack -- not XOR for the first set of parentheses zoan
[2014-9-23. : 3:52 am]
Dem0n -- ;_;
[2014-9-23. : 3:52 am]
Zoan -- (p v q v r) ^ (p v q v ~r) ^ (~p v q v r) = q
[2014-9-23. : 3:52 am]
O)FaRTy1billion[MM] -- this program only accepts A-H, so if I put in (A+B)(A'+B+C) and simplify, it gives me AC+B
[2014-9-23. : 3:50 am]
Zoan -- yea
[2014-9-23. : 3:50 am]
O)FaRTy1billion[MM] -- v is or, ^ is and?
[2014-9-23. : 3:50 am]
Jack -- Dem0n
Dem0n shouted: My expression was (p v q v r) & (p v q v ~r) ^ (~p v q v r)
look at this zoan, I probably screwed it up at every step :P
[2014-9-23. : 3:50 am]
Zoan -- Whateva, I needa do some set theory crap lulz
[2014-9-23. : 3:49 am]
Zoan -- :lol:
[2014-9-23. : 3:49 am]
Zoan -- it just simplifies to p v q
[2014-9-23. : 3:49 am]
O)FaRTy1billion[MM] -- And it simplifies it to A'B'C + BD + AC'D'
[2014-9-23. : 3:49 am]
Zoan -- waaaaiiiiittt no it doesn't
[2014-9-23. : 3:48 am]
O)FaRTy1billion[MM] -- Also I'm not crazy, this program uses the A' = not-A notation. xD
[2014-9-23. : 3:48 am]
jjf28 -- lies, cs is math++
[2014-9-23. : 3:48 am]
Zoan -- (p v q) ^ (~p v q v r) reduces to (p v q) ^ r
[2014-9-23. : 3:47 am]
MasterJohnny -- math>cs

Pages: < 1 « 3372 3373 3374 3375 33763570 >


Members Online: lil-Inferno