Add a description, image, and links to the truth-tables topic page so that developers can more easily learn about it.

If “tautology” simply means “true under all possible conditions” (as may be shown by the device of a truth-table in symbolic logic), then these laws of logic are certainly tautologies ...