## satellite73 4 years ago truth tables ick

1. anonymous

ok not tables, equivalences. what could be more tedious?

2. anonymous

this represents 3 hours of work, including research on how to make tables look decent in latex

3. asnaseer

you have repeated the rows in "Associative laws"

4. anonymous

if you find a typo please let me know

5. anonymous

bless you so i have!

6. anonymous

fixed it, thanks.

7. anonymous

any more?

8. asnaseer

also the "Distributive laws" look like they have something wrong somewhere? also - it might be better to either call then ALL "X laws" or "X law" - you currently have a mixture

9. myininaya

yes i seen the repeats so far

10. asnaseer

"Equivalences involving condtionals" I am not too hot on - so hopefully someone else can check them. but u do have a spelling error in "condtionals"

11. myininaya

hey satellite what book are you using for this class?

12. anonymous

man this was as mess!

13. anonymous

i wish i could give you 10 medals (or a beer)

14. asnaseer

I'm surprised you can still ride straight after typing all that up :-)

15. asnaseer

I'll take a beer any day :-D

16. anonymous

i can't really see straight. and most of this is so freaking obvious i can't imagine why you would need it

17. anonymous

18. anonymous

but i think i cleaned it up hard part was making the tables

19. asnaseer

It may be obvious to you but I bet its going to prove invaluable to someone out there :-)

20. anonymous

@myininaya , rosen edition 7

21. anonymous

thanks again. i will look one more time and see if there are any more errors, but i think i will wait until tomorrow to do it, because all these p's and q's land and lors look alike to me $\lnot (p \land q)\equiv \text{pain in my buttocks}$

22. asnaseer

geniuses rarely recognise the true value of their work :D

23. anonymous

$\color{pink}{\text{blush}}$

24. anonymous

can't wait to get out of this section and in to something that i like show up these smarty pants computer science types who want to use 0 and 1 and schiffer strokes

25. asnaseer

:D LOL!

26. myininaya

satellite i think it looks fine now that is a lot of biconditionals though i don't know if i want to go through each one to see if it true or not

27. myininaya

is this for a test they are doing?

28. anonymous

can you share source codes for decent looking tables? :D

29. myininaya

he will only share it with me :p