Propositional logic is often taught as if the only ways to test groups of statement in propositional logic for consistency were truth tables and truth trees. But we can also easily handle simple statements with Lewis Carroll's literal diagrams, in a way that is far more clear than either truth tables or truth trees.
A literal diagram is a diagram that recognizes combinations of terms. The standard biliteral diagram looks something like this, with the boxes given labels:
That is, we have one letter (p) on the left, with its negative complement (not-p) on the right; and one letter (q) on the top, with its negative complement (not-q) on the bottom. In propositional logic this is understood to represent possible ways the whole domain can be, given the truth or falsehood (-) of two propositions, which we label 'p' and 'q'. Information about p and q 'black out' possible ways the world could be given that information; we can represent this on the diagram by X'ing out the relevant box. With this insight we can easily represent all the propositional connectives:
This is the biliteral diagram for the conjunction, also known as p & q.
This is the biliteral diagram for the disjunction, also known as p v q.
The biconditional, p ↔ q.
The conditional, p → q. [NOTE: This is actually an erroneous diagram; the X should be in the lower left rather than the upper right. This diagram is actually the diagram for q → p.]
Now, take the following set of sentences: p ↔ q, p, -q. The result is a world blackout, i.e., the conclusion that there is no possible way for the world to be given these three statements together:
p blacks out the -p+q and -p-q boxes; -q would black out out +p+q (and -p+q, but p already blacks it out). This only leaves +p-q. But this (along with the redundant -p+q again) is blacked out by p ↔ q. World blackout: the statements taken together are inconsistent.
Another example. The statements (p v -q), (-p), and (-p & q) lead to world blackout as well. -p blacks out +p+q and +p-q. -p & q blacks out all except -p+q. But -p+q is precisely what (p v -q) blacks out.
Diagrams with world blackouts always indicate inconsistent statements; diagrams with at least one space open are consistent. It's also easy to do two other useful things with literal diagrams.
(1) We can easily tell whether two statements are truth-functionally equivalent, by seeing whether they are diagrammed the same way. If they are, they are equivalent.
(2) We can easily tell that statement B is not implied by statement A by diagramming them and determining whether B is part of A. If B, for instance, has information not contained in A, then it is not implied by it. If, on the other hand, B's diagram is nothing more than part of A's diagram, A implies B. (In effect doing these comparisons is like making a higher-order diagramming showing A ↔ B or A → B, whichever is being considered, and whatever A and B might be.)
Of course, it is no mystery why literal diagramming works in this case; the literal diagram, interpreted for propositional logic, is logically equivalent to a truth table. We can think of them as truth diagrams. The advantage to working with them is that they make explicit and visual the concepts of inconsistency, equivalence, and implication. Their only disadvantage in comparison with standard truth tables, actually, is that they quickly become unwieldy as you multiply the number of propositions you work with. But one can easily imagine beginning with truth diagrams and using them to introduce truth tables.
I've noted this before, but I'm intending over the next few weeks to expand a bit on this; so this is a recap before I get to those other posts.