How to find a logical statement equivalent to the one I have?

[omoplata]

I have the following logical statement
(A \wedge B) \Longleftrightarrow (A \wedge C)
I want to find other logical statements that are equivalent to this. But I don't want to draw truth tables.

Is there a list of 'theorems' that I can look up somewhere? For example, if I have an equivalent statement for D \Longleftrightarrow (A \wedge C), then I can maybe substitute D = (A \wedge B) and maybe come up with something.

Sorry if my terminology is wrong. Logic is not exactly my subject.

[JThompson]

The closest thing I could find is a Wikipedia table of valid argument forms in propositional logic.

http://en.wikipedia.org/wiki/Propositional_logic#Basic_and_derived_argument_for ms

[omoplata]

That helps. Thanks.

[praeclarum]

I am pretty sure that this is equivalent:
( A \wedge ( B \leftrightarrow C ) )