About a year ago I realized that one could extend the method of truth tables to say verifying association for a finite table described by a binary operation, or helping to verify that a function satisfies the homomorphism property (given that such a function maps between sets, instead of algebras). Does anyone know of anyone else that has done this?
If and only if it's not clear what I mean and how it works, see here: http://spoonwood.xanga.com/748581992/homomorphisms-structural-preservation-an-extension-of-the-method-truth-tables/