Основы и примеры законов алгебры высказываний