Основные понятия и формулы алгебры высказываний.