Основные операции над сложными логическими высказываниями