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_forms"

 

[omoplata]

That helps. Thanks.

 

[praeclarum]

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