User talk:Lord Farin/Tableau Proof Rules/Addition

Seems you have this one wrong - you're linking to Rule of Conjunction. I noticed it because you used it proving NAND is not associative. You might want to check your other rules as well.

While I think about it, in order to make navigation easier on your template page, you might want to include a direct link to the page being transcluded so as to be able to go to it rather than have to edit the page, find the name of the page being transcluded, and then enter it into your search field. --prime mover 00:23, 11 November 2011 (CST)

Thanks for noting this. I have checked the other parts, no similar problems occur. --Lord_Farin 02:43, 11 November 2011 (CST)