Boolean algebra, truth tables and algorithms.
Build a proof table for any logical statement. See every row, find out if it is a tautology or contradiction, and test equivalence with a second statement.